From 9eaaa0c1e925fab26cd9b0fc719d6fad3a0dad06 Mon Sep 17 00:00:00 2001
From: Rob Vermaas <rob.vermaas@gmail.com>
Date: Tue, 13 Apr 2010 08:03:12 +0000
Subject: [PATCH] dummy commit

---
 doc/manual/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/manual/Makefile b/doc/manual/Makefile
index 307a488c..49b594f4 100644
--- a/doc/manual/Makefile
+++ b/doc/manual/Makefile
@@ -6,4 +6,3 @@ dblatex_opts = \
 
 manual.pdf : $(DOCBOOK_FILES)
 	dblatex $(dblatex_opts) manual.xml
-