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

Signed-off-by: Elijah Newren <newren@gmail.com>
4 years ago · 4b452da4ef
parent e4960a53f8 8a8278701f
commit 4b452da4ef
1 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,2 +1,4 @@
+/Documentation/html/
+/Documentation/man1/
 /t/test-results
 /t/trash directory*