cvs: livedocs / mk_phpdoc.php
| From: | Gabor Hojtsy | Date: | Thu, 02 Sep 2004 16:28:41 +0000 |
| Subject: | cvs: livedocs / mk_phpdoc.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969363731@lists.php.net to get a copy of this message | ||
goba Thu Sep 2 12:28:41 2004 EDT
Modified files:
/livedocs mk_phpdoc.php
Log:
was unable to find whether these are used or not, but we have a new install folder and the
installpart.xml is not used anymore
http://cvs.php.net/diff.php/livedocs/mk_phpdoc.php?r1=1.10&r2=1.11&ty=u
Index: livedocs/mk_phpdoc.php
diff -u livedocs/mk_phpdoc.php:1.10 livedocs/mk_phpdoc.php:1.11
--- livedocs/mk_phpdoc.php:1.10 Mon May 24 08:19:39 2004
+++ livedocs/mk_phpdoc.php Thu Sep 2 12:28:41 2004
@@ -18,14 +18,14 @@
// | Configuration file for phpdoc build |
// +----------------------------------------------------------------------+
//
-// $Id: mk_phpdoc.php,v 1.10 2004/05/24 12:19:39 wez Exp $
+// $Id: mk_phpdoc.php,v 1.11 2004/09/02 16:28:41 goba Exp $
define('MK_VERSION', true);
define('MANUAL_TITLE', 'PHP Manual');
-$parse_dirs = array('faq', 'reference', 'security',
'chapters', 'appendices', 'language');
+$parse_dirs = array('faq', 'reference', 'security',
'chapters', 'appendices', 'language', 'install');
-$top_files = array('installpart.xml', 'manual.xml');
+$top_files = array('manual.xml');
$entities_dir = 'entities';