diff options
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index de86edef5a..ed023e6fe7 100644 --- a/manual/Makefile +++ b/manual/Makefile | |||
| @@ -58,4 +58,4 @@ manual-zip: manual-html | |||
| 58 | clean: | 58 | clean: |
| 59 | @if [ "$(OBJDIR)" = "" ]; then echo Run make in you build directory!; false; fi | 59 | @if [ "$(OBJDIR)" = "" ]; then echo Run make in you build directory!; false; fi |
| 60 | @rm -rf $(OBJDIR)/manual $(OBJDIR)/*.pdf | 60 | @rm -rf $(OBJDIR)/manual $(OBJDIR)/*.pdf |
| 61 | @rm -rf $(OBJJDIR)/html $(OBJDIR)/txt | 61 | @rm -rf $(OBJDIR)/html $(OBJDIR)/txt |