diff options
Diffstat (limited to 'Documentation/.gitignore')
| -rw-r--r-- | Documentation/.gitignore | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index b98d21e98e..d8edd90406 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,8 +1,10 @@ *.xml *.html -*.1 -*.7 +*.[1-8] *.made +*.texi +git.info +gitman.info howto-index.txt doc.dep cmds-*.txt |