jah Sun Sep 2 09:16:42 2001 EDT
Modified files:
/phpdoc Makefile.in
Log:
- Added -wno-idref option to jade arguments, so the manuals will be
generated even if the are missing IDs.
- New target 'test_man_gen' that checks if its possible to generate the
manual.
- No changes to target 'test'. It still complains about all errors.
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.63 phpdoc/Makefile.in:1.64
--- phpdoc/Makefile.in:1.63 Sun Aug 26 08:42:35 2001
+++ phpdoc/Makefile.in Sun Sep 2 09:16:42 2001
@@ -17,14 +17,14 @@
#
#
-# $Id: Makefile.in,v 1.63 2001/08/26 12:42:35 jah Exp $
+# $Id: Makefile.in,v 1.64 2001/09/02 13:16:42 jah Exp $
#
VPATH=@srcdir@
srcdir=@srcdir@
PHP_SOURCE=@PHP_SOURCE@
LANG=@LANG@
-JADE=@JADE@
+JADE=@JADE@ -wno-idref
NSGMLS=@NSGMLS@
CATALOG=@CATALOG@
@@ -198,9 +198,13 @@
.ps.pdf:
ps2pdf -p $@ $<
+# test all possible errors
test: manual.xml
$(NSGMLS) -i lang-$(LANG) -s $(srcdir)/phpdocxml.dcl $<
+# ignore missing IDs and check if the manual can be generated anyway
+test_man_gen: manual.xml
+ $(NSGMLS) -wno-idref -i lang-$(LANG) -s $(srcdir)/phpdocxml.dcl $<
clean:
rm -rf html php
rm -f manual.txt [a-z]*.html manual.rtf manual.info