diff options
Diffstat (limited to 'Documentation/.gitignore')
-rw-r--r-- | Documentation/.gitignore | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index c87c61af00..2c8b2d612e 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,7 +1,13 @@ *.xml *.html -*.1 -*.7 +*.[1-8] +*.made +*.texi +*.pdf +git.info +gitman.info howto-index.txt doc.dep -README +cmds-*.txt +mergetools-*.txt +manpage-base-url.xsl |