diff options
author | Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com> | 2013-02-19 22:46:49 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2013-02-19 15:16:41 -0800 |
commit | 806f4f87e043384c62b8d119fd2ae45ba7e31715 (patch) | |
tree | a697535cef31128d2f0e4d1ce35210ea160c845a | |
parent | bd9503d7c284d80478a79094da4b914bde2e84e1 (diff) | |
download | subsurface-806f4f87e043384c62b8d119fd2ae45ba7e31715.tar.gz |
Makefile quorks :( Yes we want a 'doc' target for itself...
...to avoid generating the HTMLDOC target even if it needs not to.
Signed-off-by: Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
-rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 2fb157da1..ac435213f 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -7,13 +7,15 @@ BROWSER = firefox all: doc $(addprefix $(DOCNAME).,pdf text) +doc: $(HTMLDOC) + $(DOCNAME).text: $(DOCSOURCE) $(A2X) -f text $< $(DOCNAME).pdf: $(DOCSOURCE) $(A2X) -f pdf $< -doc $(HTMLDOC): $(DOCSOURCE) +$(HTMLDOC): $(DOCSOURCE) $(ASCIIDOC) $< # Alternatively:: |