Remove auto-generated files

dspinellis · Dec 10, 2024 · a25661b · a25661b
1 parent 48d6fdf
commit a25661b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 470 deletions.
diff --git a/doc/.gitignore b/doc/.gitignore
@@ -3,6 +3,10 @@ dbschema.xml
 fmtcache
 mancscc.xml
 mancscout.xml
+mancscut.xml
 mancsmake.xml
+mancsreconst.xml
+mancssplit.xml
 mancswc.xml
 style.css
+qeg.xml
diff --git a/doc/mancscut.xml b/doc/mancscut.xml
diff --git a/doc/mancssplit.xml b/doc/mancssplit.xml