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


Reply via email to