gitignore: Ignore man page dist files

Ignore man page dist files generated by scripts/updatemanpages.pl
This commit is contained in:
Steve Brokenshire 2017-02-26 21:50:06 +00:00 committed by Daniel Stenberg
parent f5712ca277
commit d960e57029
3 changed files with 3 additions and 0 deletions

1
docs/.gitignore vendored
View file

@ -1,3 +1,4 @@
*.html
*.pdf
curl.1
*.1.dist

View file

@ -1,3 +1,4 @@
*.html
*.pdf
*.3.dist
libcurl-symbols.3