summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* doc lint: make "lint-docs" non-.PHONYÆvar Arnfjörð Bjarmason2021-10-151-0/+1
* Merge branch 'js/misc-doc-fixes'Junio C Hamano2019-05-091-0/+1
|\
| * docs: exclude documentation for commands that have been excludedJohannes Schindelin2019-04-191-0/+1
* | Doc: auto-detect changed build flagsMartin Ågren2019-03-181-0/+1
|/
* add a script to diff rendered documentationJeff King2018-08-061-0/+1
* Documentation: convert SubmittingPatches to AsciiDocbrian m. carlson2017-11-131-0/+1
* doc: generate a list of valid merge toolsDavid Aguilar2013-02-021-0/+1
* Documentation: ignore *.pdf filesEmilio G. Cota2011-08-081-0/+1
* Documentation: Avoid use of xmlto --stringparamTodd Zullinger2009-12-051-0/+1
* doc: adding gitman.info and *.texi to .gitignoreGeoffrey Irving2008-06-121-0/+2
* Start preparing the API documents.Junio C Hamano2007-12-141-0/+1
* Ignore all man sections as they are generated files.Brian Gernhardt2007-04-231-2/+1
* Add Documentation/cmd-list.made to .gitignoreJunio C Hamano2007-04-081-0/+1
* Stop ignoring Documentation/READMEJunio C Hamano2007-01-201-1/+0
* Documentation: Generate command lists.Junio C Hamano2007-01-181-0/+1
* Don't include ../README in git.txt - make a local copyPavel Roskin2006-01-241-0/+1
* Fix documentation dependency generation.Junio C Hamano2005-11-071-0/+1
* [PATCH] git bugfixes and cleanups, mainly Debian thingsTommi Virtanen2005-08-261-0/+5