diff --git a/docs/.gitignore b/docs/.gitignore index 23f832b734..7928dc9459 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,2 +1,3 @@ *.html *.pdf +curl.1