maint: ignore some generated documentation files * .gitignore: Ignore the html directory created by 'make html' and the directories made by 'make pdf ps dvi'.
diff --git a/.gitignore b/.gitignore line changes: +3/-0 index c304674..656e3eb --- a/.gitignore +++ b/.gitignore
@@ -14,9 +14,12 @@ /configure /doc/*.aux /doc/*.dvi +/doc/*.html /doc/*.info* /doc/*.log /doc/*.pdf +/doc/*.t2d +/doc/*.t2p /doc/*.toc /doc/hello.?? /doc/hello.??s