diff options
Diffstat (limited to 'Documentation/Makefile')
| -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:: |