summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/ada_user/Makefile1
-rw-r--r--doc/posix_users/Makefile1
-rw-r--r--doc/user/Makefile4
3 files changed, 5 insertions, 1 deletions
diff --git a/doc/ada_user/Makefile b/doc/ada_user/Makefile
index b272984eca..c9216af69f 100644
--- a/doc/ada_user/Makefile
+++ b/doc/ada_user/Makefile
@@ -69,4 +69,5 @@ clean:
rm -f *.o $(PROG) *.txt core *.html *.pdf *.eps
rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE)
rm -f $(PROJECT) $(PROJECT)-* _*
+ rm -f *.cps *.cpss *.fns *.jkys *.pgs *.tps *.vrs
diff --git a/doc/posix_users/Makefile b/doc/posix_users/Makefile
index d4779bd477..c33a6d07fe 100644
--- a/doc/posix_users/Makefile
+++ b/doc/posix_users/Makefile
@@ -62,6 +62,7 @@ clean:
rm -f *.o $(PROG) *.txt core *.html $(PROJECT).pdf
rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE)
rm -f $(PROJECT) $(PROJECT)-* _* $(GENERATED_FILES)
+ rm -f *.cps *.cpss *.fns *.jkys *.pgs *.tps *.vrs
process.texi: process.t Makefile
$(BMENU) -p "" \
diff --git a/doc/user/Makefile b/doc/user/Makefile
index b67b9b5324..715a3fc896 100644
--- a/doc/user/Makefile
+++ b/doc/user/Makefile
@@ -65,7 +65,9 @@ index:
clean:
rm -f *.o $(PROG) *.txt core *.html $(PROJECT).pdf
rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE)
- rm -f c_user c_user-* _* $(GENERATED_FILES)
+ rm -f $(PROJECT) $(PROJECT)-* _* $(GENERATED_FILES)
+ rm -f *.cps *.cpss *.fns *.kys *.pgs *.tps *.vrs
+
#preface.texi: preface.t
# $(BMENU) -p "Top" \