nlopess Tue Mar 8 14:51:16 2005 EDT
Modified files:
/phpdoc Makefile.in
Log:
fix a problem in 'make' when *not* using Zend API docs
http://cvs.php.net/diff.php/phpdoc/Makefile.in?r1=1.161&r2=1.162&ty=u
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.161 phpdoc/Makefile.in:1.162
--- phpdoc/Makefile.in:1.161 Sun Mar 6 14:11:34 2005
+++ phpdoc/Makefile.in Tue Mar 8 14:51:13 2005
@@ -16,7 +16,7 @@
#
#
-# $Id: Makefile.in,v 1.161 2005/03/06 19:11:34 techtonik Exp $
+# $Id: Makefile.in,v 1.162 2005/03/08 19:51:13 nlopess Exp $
#
all: html
@@ -84,11 +84,13 @@
@ZEND_FIGURES@
zendapihtml:
- rm -rf html && mkdir html && mkdir html/@FIGURES@
+ rm -rf html && mkdir html
+ @if test "@FIGURES@" != ""; then mkdir html/@FIGURES@ ; fi
@ZEND_FIGURES_HTML@
zendapiphp:
- rm -rf php && mkdir php && mkdir php/@FIGURES@
+ rm -rf php && mkdir php
+ @if test "@FIGURES@" != ""; then mkdir php/@FIGURES@ ; fi
@ZEND_FIGURES_PHP@
html: html/index.html