gitignore: Ignore man page dist files

Ignore man page dist files generated by scripts/updatemanpages.pl

diff --git a/docs/.gitignore b/docs/.gitignore
index 7928dc9459cc4b1dca6346b3c72b30b1031321d1..60f329382c8fa974a6546a66714daec71c793cfa 100644 (file)
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1,3 +1,4 @@
 *.html
 *.pdf
 curl.1
+*.1.dist

diff --git a/docs/libcurl/.gitignore b/docs/libcurl/.gitignore
index 2e5b359aa2fb7ba4991aaea1463296bd102986fb..270b0531fa79b7a40d801d14eb5286c3deb20e28 100644 (file)
--- a/docs/libcurl/.gitignore
+++ b/docs/libcurl/.gitignore
@@ -1,3 +1,4 @@
 *.html
 *.pdf
+*.3.dist
 libcurl-symbols.3

diff --git a/tests/.gitignore b/tests/.gitignore
index dc45f03a8c7df61c5eaf8bed400a421cc8177050..89f17d26adba16707be36804e060a701c902aac7 100644 (file)
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@ -1,4 +1,5 @@
 *pid
+*.1.dist
 configurehelp.pm
 curl_client_key
 curl_client_key.pub