search

gitgitgadget / git

GitGitGadget's Git fork. Open Pull Requests here to submit them to the Git mailing list
https://gitgitgadget.github.io/
Other
208 stars 135 forks source link

doc: git diff reformatting #1769

Open jnavila opened 1 month ago

jnavila commented 1 month ago

This is the continuation of the editing of the manpages to reflect the new formatting rules.

Note that this patch makes use of the synopsis paragraph styling and needs to be applied above ja/doc-synopsis-markup. As the dots can be primarily interpreted as a grammar sign for repetition, here the dots which are part of the synopsis are manually forced to verbatim.

cc: Johannes Sixt j6t@kdbg.org cc: Patrick Steinhardt ps@pks.im

jnavila commented 1 month ago

/submit

gitgitgadget[bot] commented 1 month ago

Submitted as pull.1769.git.1722801936.gitgitgadget@gmail.com

To fetch this version into FETCH_HEAD:

git fetch https://github.com/gitgitgadget/git/ pr-1769/jnavila/git_diff_new-v1

To fetch this version to local tag pr-1769/jnavila/git_diff_new-v1:

git fetch --no-tags https://github.com/gitgitgadget/git/ tag pr-1769/jnavila/git_diff_new-v1
gitgitgadget[bot] commented 1 month ago

User Johannes Sixt <j6t@kdbg.org> has been added to the cc: list.

gitgitgadget[bot] commented 1 month ago

User Patrick Steinhardt <ps@pks.im> has been added to the cc: list.