path: root/Documentation/.gitignore
AgeCommit message (Expand)Author
2021-10-15doc lint: make "lint-docs" non-.PHONYÆvar Arnfjörð Bjarmason
2019-05-08Merge branch 'js/misc-doc-fixes'Junio C Hamano
2019-04-19docs: exclude documentation for commands that have been excludedJohannes Schindelin
2019-03-18Doc: auto-detect changed build flagsMartin Ågren
2018-08-06add a script to diff rendered documentationJeff King
2017-11-13Documentation: convert SubmittingPatches to AsciiDocbrian m. carlson
2013-02-03doc: generate a list of valid merge toolsDavid Aguilar
2011-08-08Documentation: ignore *.pdf filesEmilio G. Cota
2009-12-05Documentation: Avoid use of xmlto --stringparamTodd Zullinger
2008-06-12doc: adding and *.texi to .gitignoreGeoffrey Irving
2007-12-15Start preparing the API documents.Junio C Hamano
2007-04-24Ignore all man sections as they are generated files.Brian Gernhardt
2007-04-09Add Documentation/cmd-list.made to .gitignoreJunio C Hamano
2007-01-21Stop ignoring Documentation/READMEJunio C Hamano
2007-01-19Documentation: Generate command lists.Junio C Hamano
2006-01-25Don't include ../README in git.txt - make a local copyPavel Roskin
2005-11-08Fix documentation dependency generation.Junio C Hamano
2005-08-26[PATCH] git bugfixes and cleanups, mainly Debian thingsTommi Virtanen