17 Commits (0df670bc0b8b5499859829ba0889ce96a75304a6)

Author SHA1 Message Date
Johannes Schindelin faa7a096d8 docs: exclude documentation for commands that have been excluded 6 years ago
Martin Ågren 9a71722b4d Doc: auto-detect changed build flags 6 years ago
Jeff King beb188e22a add a script to diff rendered documentation 6 years ago
brian m. carlson 049e64aa50 Documentation: convert SubmittingPatches to AsciiDoc 7 years ago
David Aguilar f35ec54600 doc: generate a list of valid merge tools 12 years ago
Emilio G. Cota 070648e9b7 Documentation: ignore *.pdf files 14 years ago
Todd Zullinger 50d9bbba92 Documentation: Avoid use of xmlto --stringparam 15 years ago
Geoffrey Irving 9501fc8945 doc: adding gitman.info and *.texi to .gitignore 17 years ago
Junio C Hamano 530e741c72 Start preparing the API documents. 17 years ago
Brian Gernhardt ce748f5992 Ignore all man sections as they are generated files. 18 years ago
Junio C Hamano 24c64d6add Add Documentation/cmd-list.made to .gitignore 18 years ago
Junio C Hamano 06f6228a90 Stop ignoring Documentation/README 18 years ago
Junio C Hamano 72fe6a5989 Documentation: Generate command lists. 18 years ago
Pavel Roskin 941c944999 Don't include ../README in git.txt - make a local copy 19 years ago
Junio C Hamano a5ae8e64cf Fix documentation dependency generation. 19 years ago
Tommi Virtanen c68e10b197 [PATCH] git bugfixes and cleanups, mainly Debian things 20 years ago