cvs: phpdoc(REF_STRUCT_DEV) / configure.php

rquadling Mon Nov 5 11:27:20 2007 UTC Modified files: (Branch: REF_STRUCT_DEV) /phpdoc configure.php Log: New option (--force-dom-save) to force creation of .manual.xml http://cvs.php.net/viewvc.cgi/phpdoc/configure.php?r1=1.6.2.2&r2=1.6.2.3&diff_format=u Index: phpdoc/configure.php diff -u phpdoc/configure.php:1.6.2.2 phpdoc/configure.php:1.6.2.3 --- phpdoc/configure.php:1.6.2.2 Thu Oct 25 10:41:16 2007 +++ phpdoc/configure.php Mon Nov 5 11:27:20 2007 @@ -17,10 +17,10 @@ | Authors: Dave Barr <dave@php.net> | +----------------------------------------------------------------------+ - $Id: configure.php,v 1.6.2.2 2007/10/25 10:41:16 bjori Exp $ + $Id: configure.php,v 1.6.2.3 2007/11/05 11:27:20 rquadling Exp $ */ -$cvs_id = '$Id: configure.php,v 1.6.2.2 2007/10/25 10:41:16 bjori Exp $'; +$cvs_id = '$Id: configure.php,v 1.6.2.3 2007/11/05 11:27:20 rquadling Exp $'; $srcdir = "./"; echo "configure.php: $cvs_id\n"; @@ -113,9 +113,11 @@ $ac['PALMDOCTITLE'] = ''; $ac['HTMLHELP_ENCODING'] = ''; $ac['SP_OPTIONS'] = 'SP_ENCODING=XML SP_CHARSET_FIXED=YES'; +$ac['FORCE_DOM_SAVE'] = false; $allowed_opts = array( 'help', + 'force-dom-save', 'with-php=', 'with-jade=', 'with-nsgmls=', @@ -201,6 +203,9 @@ case '--with-treesaving': $ac['TREESAVING'] = '#t'; break; + case '--force-dom-save': + $ac['FORCE_DOM_SAVE'] = true; + break; } } @@ -718,6 +723,17 @@ echo "no\n"; } +// Force creation of .manual.xml +echo 'checking for forced .manual.xml: '; + +if ($ac['FORCE_DOM_SAVE']) { + echo "yes\n"; +} +else { + echo "no\n"; +} + + // Encoding switch ($ac['LANG']) { case 'zh_tw': @@ -884,6 +900,8 @@ exit(0); // Tell the shell that this script finished successfully. } else { echo "eyh man. No worries. Happ shittens. Try again after fixing the errors above\n"; + if ($ac['FORCE_DOM_SAVE']) // Allow the .manual.xml file to be created, even if it is not valid. + $dom->save(".manual.xml"); exit(1); // Tell the shell that this script finished with an error. }