Re: [PATCH v2 0/5] Fix make check-docs on Windows
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Mar 26, 2019, 14:38 UTC
- Message-ID
- <nycvar.QRO.7.76.6.1903261509080.41@tvgsbejvaqbjf.bet>
- In-Reply-To
- <pull.162.v2.git.gitgitgadget@gmail.com>
Hi,
On Mon, 25 Mar 2019, Johannes Schindelin via GitGitGadget wrote:
Show 6 quoted lines
> Johannes Schindelin (5): > docs: move gitremote-helpers into section 7 > docs: do not document the `git remote-testgit` command > check-docs: really look at the documented commands again > check-docs: do not expect guide pages to correspond to commands > check-docs: fix for setups where executables have an extension
FWIW I am also working on a follow-up patch series [*1*] that resolves all issues reported by `make check-docs` on Windows, but I do not want to make this here patch series even bigger (from an initial single, relatively small patch).
Ciao, Johannes
Foontote *1*: Tracked here: https://github.com/gitgitgadget/git/pull/168