---------- Forwarded message ----------
From: Richard Quadling <[EMAIL PROTECTED]>
Date: 5 Nov 2007 11:27
Subject: [DOC-CVS] cvs: phpdoc / configure.php
To: [EMAIL PROTECTED]
rquadling Mon Nov 5 11:27:52 2007 UTC
Modified files:
/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.8&r2=1.9&diff_format=u
Index: phpdoc/configure.php
diff -u phpdoc/configure.php:1.8 phpdoc/configure.php:1.9
--- phpdoc/configure.php:1.8 Thu Oct 25 08:55:36 2007
+++ phpdoc/configure.php Mon Nov 5 11:27:52 2007
@@ -17,10 +17,10 @@
| Authors: Dave Barr <[EMAIL PROTECTED]> |
+----------------------------------------------------------------------+
- $Id: configure.php,v 1.8 2007/10/25 08:55:36 rquadling Exp $
+ $Id: configure.php,v 1.9 2007/11/05 11:27:52 rquadling Exp $
*/
-$cvs_id = '$Id: configure.php,v 1.8 2007/10/25 08:55:36 rquadling Exp $';
+$cvs_id = '$Id: configure.php,v 1.9 2007/11/05 11:27:52 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':
@@ -876,13 +892,16 @@
$dom = new DOMDocument();
$dom->load("manual.xml", LIBXML_NOENT);
+$dom->xinclude();
if ($dom->validate()) {
echo "All good.\n";
$dom->save(".manual.xml");
- echo "All you have to do now is run 'phd " .realpath("."). "'\n";
+ echo "All you have to do now is run 'php build.php' in your phd
checkout folder\n";
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.
}
--
PHP Documentation Commits Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
--
-----
Richard Quadling
Zend Certified Engineer : http://zend.com/zce.php?c=ZEND002498&r=213474731
"Standing on the shoulders of some very clever giants!"
