From 392996b74304473b71dcdce7d0ad7771d57c00f8 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 22 Nov 2011 16:46:07 +0100
Subject: [PATCH] Whitespace

---
 doc/manual/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index c9cd932d..914a67d4 100644
--- a/doc/manual/Makefile.am
+++ b/doc/manual/Makefile.am
@@ -28,9 +28,9 @@ manual.html: $(DOCBOOK_FILES)
 		exit 1;							\
 	fi
 
-manual.pdf : $(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; \