aboutsummaryrefslogtreecommitdiffstats
path: root/Documentation/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2023-04-05doc: remove manpage-base-url workaroundFelipe Contreras1-1/+0
2021-10-15doc lint: make "lint-docs" non-.PHONYÆvar Arnfjörð Bjarmason1-0/+1
2019-05-09Merge branch 'js/misc-doc-fixes'Junio C Hamano1-0/+1
2019-04-19docs: exclude documentation for commands that have been excludedJohannes Schindelin1-0/+1
2019-03-18Doc: auto-detect changed build flagsMartin Ågren1-0/+1
2018-08-06add a script to diff rendered documentationJeff King1-0/+1
2017-11-13Documentation: convert SubmittingPatches to AsciiDocbrian m. carlson1-0/+1
2013-02-02doc: generate a list of valid merge toolsDavid Aguilar1-0/+1
2011-08-08Documentation: ignore *.pdf filesEmilio G. Cota1-0/+1
2009-12-05Documentation: Avoid use of xmlto --stringparamTodd Zullinger1-0/+1
2008-06-12doc: adding gitman.info and *.texi to .gitignoreGeoffrey Irving1-0/+2
2007-12-14Start preparing the API documents.Junio C Hamano1-0/+1
2007-04-23Ignore all man sections as they are generated files.Brian Gernhardt1-2/+1
2007-04-08Add Documentation/cmd-list.made to .gitignoreJunio C Hamano1-0/+1
2007-01-20Stop ignoring Documentation/READMEJunio C Hamano1-1/+0
2007-01-18Documentation: Generate command lists.Junio C Hamano1-0/+1
2006-01-24Don't include ../README in git.txt - make a local copyPavel Roskin1-0/+1
2005-11-07Fix documentation dependency generation.Junio C Hamano1-0/+1
2005-08-26[PATCH] git bugfixes and cleanups, mainly Debian thingsTommi Virtanen1-0/+5