diff options
| author | Steve Brokenshire <sbrokenshire@xestia.co.uk> | 2017-02-26 21:50:06 +0000 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2017-03-07 23:27:31 +0100 |
| commit | d960e57029fd56154556b87553a023a7c8ec6e2d (patch) | |
| tree | b4741dd8c04785d33a0b3c94a77810594b935f48 /docs/.gitignore | |
| parent | f5712ca277d21cc72183038c482cf2bbfe9a320a (diff) | |
gitignore: Ignore man page dist files
Ignore man page dist files generated by scripts/updatemanpages.pl
Diffstat (limited to 'docs/.gitignore')
| -rw-r--r-- | docs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 7928dc945..60f329382 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,3 +1,4 @@ *.html *.pdf curl.1 +*.1.dist |