hholzgra Sun Jan 20 11:30:39 2002 EDT
Modified files:
/phpdoc/scripts process.php
Log:
unfinished processing due to time limit is a bad idea
Index: phpdoc/scripts/process.php
diff -u phpdoc/scripts/process.php:1.5 phpdoc/scripts/process.php:1.6
--- phpdoc/scripts/process.php:1.5 Fri Jan 18 14:19:46 2002
+++ phpdoc/scripts/process.php Sun Jan 20 11:30:39 2002
@@ -17,6 +17,9 @@
# | Authors: Jeroen van Wolffelaar <[EMAIL PROTECTED]> |
# +----------------------------------------------------------------------+
*/
+
+set_time_limit(0);
+
if ($argc < 2 || $argc > 3) { ?>
Process the manual to do some replacements.
