Add gnulib.html, generated by "make html".

[pspp] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 0f6240852382b8991374ab7d5a51358d4de2be5b..175321e78f2f3c7372d778b5200ad8ad7b02519c 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -13,3 +13,4 @@ gnulib.info
 gnulib.info-1
 gnulib.info-2
 gnulib.info-3
+gnulib.html