remove unused files

hemmecke · Apr 16, 2024 · b667929 · b667929
1 parent 07d01e7
commit b667929
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
@@ -656,8 +656,8 @@ PS_FILES = \
   exit help home up	\
   ribbon2r ribbons2 ribbons2b \
   2Dctrl 3Dctrl SEGBIND arrowr knot3 \
-  h-alldoms h-allrank h-atsearch h-brfront h-comsearch h-consearch	\
-  h-docsearch h-gensearch h-matargs h-matats h-matdesc h-matexamp	\
+  h-alldoms h-allrank h-brfront h-comsearch h-consearch	\
+  h-docsearch h-gensearch h-matargs h-matdesc h-matexamp	\
   h-matexports h-matimp h-matinv h-matmap h-matops h-matpage		\
   h-matrelops h-matrixops h-matsource h-matxref h-root
 

diff --git a/src/doc/ps/h-atsearch.ps b/src/doc/ps/h-atsearch.ps
diff --git a/src/doc/ps/h-matats.ps b/src/doc/ps/h-matats.ps