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

Reply via email to