diff options
Diffstat (limited to 'doc/posix_users')
-rw-r--r-- | doc/posix_users/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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 "" \ |