diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ada_user/Makefile | 1 | ||||
-rw-r--r-- | doc/posix_users/Makefile | 1 | ||||
-rw-r--r-- | doc/user/Makefile | 4 |
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" \ |