From d960e57029fd56154556b87553a023a7c8ec6e2d Mon Sep 17 00:00:00 2001 From: Steve Brokenshire Date: Sun, 26 Feb 2017 21:50:06 +0000 Subject: [PATCH] gitignore: Ignore man page dist files Ignore man page dist files generated by scripts/updatemanpages.pl --- docs/.gitignore | 1 + docs/libcurl/.gitignore | 1 + tests/.gitignore | 1 + 3 files changed, 3 insertions(+) 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 diff --git a/docs/libcurl/.gitignore b/docs/libcurl/.gitignore index 2e5b359aa..270b0531f 100644 --- 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 dc45f03a8..89f17d26a 100644 --- a/tests/.gitignore +++ b/tests/.gitignore @@ -1,4 +1,5 @@ *pid +*.1.dist configurehelp.pm curl_client_key curl_client_key.pub