diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 219055d1b..ec64357b4 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -208,6 +208,7 @@ clean: $(RM) refman.pdf $(RMDIR) html latex $(RM) *~ *.bck *.bck *.bak *.log + $(RM) $(MANPAGES) $(SRC_DOCDIR)/*.0 depend: |
