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