Ignore the generated rather than hardcoded doc path

Signed-off-by: Psionik K <[email protected]>
positron-solutions · Oct 29, 2023 · 5e018cf · 5e018cf
1 parent 197bd96
commit 5e018cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -4,4 +4,4 @@
 **trash
 **~
 **.~undo-tree
-/docs/manual.info
+/doc/*.info