Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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>
- Loading branch information