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