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