[PHP-DOC] cvs: phpdoc / Makefile.in

[Hartmut Holzgraefe]

hholzgra                Sun Jan  6 19:12:09 2002 EDT

  Modified files:              
    /phpdoc     Makefile.in 
  Log:
  sanity checks
  
  
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.82 phpdoc/Makefile.in:1.83
--- phpdoc/Makefile.in:1.82     Sun Jan  6 10:42:24 2002
+++ phpdoc/Makefile.in  Sun Jan  6 19:12:08 2002
@@ -17,16 +17,25 @@
 #
 
 #
-# $Id: Makefile.in,v 1.82 2002/01/06 15:42:24 hholzgra Exp $
+# $Id: Makefile.in,v 1.83 2002/01/07 00:12:08 hholzgra Exp $
 #
 
+
 VPATH=@srcdir@
 srcdir=@srcdir@
 scriptdir=@srcdir@/scripts
 PHP_SOURCE=@PHP_SOURCE@
 LANG=@LANG@
-JADE=@SP_OPTIONS@ @JADE@ -wno-idref
-NSGMLS=@SP_OPTIONS@ @NSGMLS@
+ifeq (@JADE@,no)
+  JADE=@ echo need jade or openjade to do this; exit;
+else 
+  JADE=@SP_OPTIONS@ @JADE@ -wno-idref
+endif
+ifeq (@NSGMLS@,no)
+  NSGMLS=@ echo need nsgmls to do this; exit;
+else 
+  NSGMLS=@SP_OPTIONS@ @NSGMLS@
+endif
 PHP=@PHP@
 
 CATALOG=@CATALOG@