From 34864d4aefe7d40e510c9359fb07ffd4f52b67f5 Mon Sep 17 00:00:00 2001 From: messju Date: Sun, 24 Jun 2007 08:59:31 +0000 Subject: [PATCH] reverted accidently modified file --- docs/Makefile.in | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/docs/Makefile.in b/docs/Makefile.in index ba5f85c6..596a19e7 100755 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -23,10 +23,8 @@ all: html PHP=@PHP@ LANG=@LANG@ -# NSGMLS=@SP_OPTIONS@ @NSGMLS@ -NSGMLS=@NSGMLS@ -# JADE=@SP_OPTIONS@ @JADE@ -D . -wno-idref -JADE=@JADE@ -D . -wno-idref +NSGMLS=@SP_OPTIONS@ @NSGMLS@ +JADE=@SP_OPTIONS@ @JADE@ -D . -wno-idref XMLLINT=@XMLLINT@ FOP=@FOP@ XMLDCL=./dtds/dbxml-4.1.2/phpdocxml.dcl @@ -34,7 +32,6 @@ CATALOG=@CATALOG@ HTML_STYLESHEET=dsssl/html.dsl PHPWEB_STYLESHEET=dsssl/php.dsl - # }}} #default behaviour