Skip to content

Conversation

@andrea-berling
Copy link

This is a small change, but it helps populate a fuller TOC for commands such as git-branch or the manpage of git-config (they seem to use the .PP command in their man pages for various command line options and such).

Sorry for stacking this change on top of devel-tocsearch. Would you rather I split it from this and propose it as a PR for devel instead?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant