Fix stupid change

Oops.
This commit is contained in:
Eelco Dolstra 2011-11-22 17:01:55 +01:00
parent 392996b743
commit 26f6211777

View file

@ -30,7 +30,7 @@ manual.html: $(DOCBOOK_FILES)
manual.pdf: $(DOCBOOK_FILES) manual.pdf: $(DOCBOOK_FILES)
if test "$(DBLATEX)" != ""; then \ if test "$(DBLATEX)" != ""; then \
$(DBLATEX) $(dblatex_opts) manual.xml \ $(DBLATEX) $(dblatex_opts) manual.xml; \
else \ else \
echo "Please install dblatex and rerun configure."; \ echo "Please install dblatex and rerun configure."; \
exit 1; \ exit 1; \