docs: gitignore curl.1

curl.1 is generated by the cmdline-opts script since 4c49b83.

diff --git a/docs/.gitignore b/docs/.gitignore
index 23f832b734c1f7977559b62a6046e45b0689cf7d..7928dc9459cc4b1dca6346b3c72b30b1031321d1 100644 (file)
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1,2 +1,3 @@
 *.html
 *.pdf
+curl.1