91099b08ae
This makes the git HTML manual reproducible. It also removes the `git.info` manual, since this one is basically entirely broken anyway. This likely happened when we migrated from asciidoc to asciidoctor in #102020. I don't suggest going back to asciidoc: that would re-introduce a python2 dependency and another reproducibility issue with the HTML docs. Co-Authored-By: Dmitry Kalinkin <dmitry.kalinkin@gmail.com> |
||
|---|---|---|
| .. | ||
| default.nix | ||
| docbook2texi.patch | ||
| git-send-email-honor-PATH.patch | ||
| git-sh-i18n.patch | ||
| installCheck-path.patch | ||
| ssh-path.patch | ||
| update.sh | ||