docs: gitignore curl.1

curl.1 is generated by the cmdline-opts script since 4c49b83.
curl · Feb 22, 2017 · 035c2ec · 035c2ec
1 parent f57eb1f
commit 035c2ec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -1,2 +1,3 @@
 *.html
 *.pdf
+curl.1