From 96d5ab1b3bc112c398f1b13cb13e893910ef2e6e Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@denkbrett.intern.schottelius.org>
Date: Fri, 17 Aug 2007 11:24:30 +0200
Subject: [PATCH] disable automatic pdf generation for now

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 54ec563..5c3bde5 100644
--- a/Makefile
+++ b/Makefile
@@ -49,7 +49,9 @@ DBHTMLDOCS = ${DOCS:.text=.htm}
 TEXIDOCS = ${DOCS:.text=.texi}
 TEXIDOCS = 
 
+# fop fails here, so disable it for now
 PDFDOCS  =  ${DOCS:.text=.pdf}
+PDFDOCS  = 
 
 MANPDOCS = ${MANDOCS:.text=.man}