.gitignore: ignore the generated documentation

tarsius · tarsius · commit 8a8278701f59 · 2020-07-09T13:47:45.000+02:00
Signed-off-by: Jonas Bernoulli &lt;jonas@bernoul.li&gt;
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,4 @@
+/Documentation/html/
+/Documentation/man1/
 /t/test-results
 /t/trash directory*
