Merge branch 'jb/ignore-generated-docs' into main

newren · newren · commit 4b452da4ef1a · 2020-07-27T10:03:01.000-07:00
Signed-off-by: Elijah Newren &lt;newren@gmail.com&gt;
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,4 @@
+/Documentation/html/
+/Documentation/man1/
 /t/test-results
 /t/trash directory*
