diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index 914a67d4..5d6f9493 100644
--- a/doc/manual/Makefile.am
+++ b/doc/manual/Makefile.am
@@ -30,7 +30,7 @@ manual.html: $(DOCBOOK_FILES)
 
 manual.pdf: $(DOCBOOK_FILES)
 	if test "$(DBLATEX)" != ""; then \
-	        $(DBLATEX) $(dblatex_opts) manual.xml \
+	        $(DBLATEX) $(dblatex_opts) manual.xml; \
 	else \
 	        echo "Please install dblatex and rerun configure."; \
 	        exit 1; \