---------- Forwarded message ----------
From: Richard Quadling <[EMAIL PROTECTED]>
Date: 5 Nov 2007 11:27
Subject: [DOC-CVS] cvs: phpdoc(REF_STRUCT_DEV) / configure.php
To: [EMAIL PROTECTED]
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 <[EMAIL PROTECTED]> |
+----------------------------------------------------------------------+
- $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.
}
--
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!"
