diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 233ab374d2..17964fa8d1 100644 --- a/manual/Makefile +++ b/manual/Makefile | |||
| @@ -28,6 +28,6 @@ manual-zip: manual-html | |||
| 28 | $(MAKE) -C $(OBJDIR) htmlzip | 28 | $(MAKE) -C $(OBJDIR) htmlzip |
| 29 | 29 | ||
| 30 | clean: | 30 | clean: |
| 31 | @if [ "$(OBJDIR)" == "" ]; then echo Run make in you build directory!; false; fi | 31 | @if [ "$(OBJDIR)" = "" ]; then echo Run make in you build directory!; false; fi |
| 32 | @rm -rf $(OBJDIR)/manual $(OBJDIR)/*.pdf | 32 | @rm -rf $(OBJDIR)/manual $(OBJDIR)/*.pdf |
| 33 | @rm -rf $(OBJJDIR)/html $(OBJDIR)/txt | 33 | @rm -rf $(OBJJDIR)/html $(OBJDIR)/txt |