diff options
author | Achim Gratz <Stromeko@Stromeko.DE> | 2012-05-10 20:53:59 +0200 |
---|---|---|
committer | Bastien Guerry <bzg@altern.org> | 2012-05-18 07:45:46 +0200 |
commit | b4693de937b391678d4000d0ec6a083c5eac5096 (patch) | |
tree | fa8fcd087545833f1abf098a9f119fcc243e60b5 | |
parent | 03e2192b4b8279423ba6c405b75552e06571a0d3 (diff) | |
download | org-mode-b4693de937b391678d4000d0ec6a083c5eac5096.tar.gz |
clean up server targets in doc/Makefile and make sure they are working
* doc/Makefile: ignore errors from removing directory (may not exist),
manual depends on 'org-version.inc'.
-rw-r--r-- | doc/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 846d6cc..9f738ea 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -16,8 +16,9 @@ pdf: org.pdf orgguide.pdf card: orgcard.pdf orgcard_letter.pdf orgguide.pdf manual guide:: - $(RMR) $@ ; $(MKDIR) $@ -manual:: org.texi + -$(RMR) $@ + $(MKDIR) $@ +manual:: org.texi org-version.inc $(TEXI2HTML) -o $@ $< ../UTILITIES/mansplit.pl $@/* guide:: orgguide.texi |