goba Fri Dec 21 09:01:43 2001 EDT
Modified files:
/phpdoc make_chm.php
Log:
There is no preface/About this Manual currently
Index: phpdoc/make_chm.php
diff -u phpdoc/make_chm.php:1.21 phpdoc/make_chm.php:1.22
--- phpdoc/make_chm.php:1.21 Fri Dec 21 08:55:46 2001
+++ phpdoc/make_chm.php Fri Dec 21 09:01:43 2001
@@ -97,15 +97,6 @@
}
mapAndIndex($match[1], "preface.html", " ", $toc, $index);
- // Find the name of the Preface/About this Manual
- fputs($toc, "\n <ul>");
- preg_match('|<A HREF="preface.html#about" >(.*)</A >|U', $indexline, $match);
- if (empty($match[1])) { // Fallback
- $match[1]="About this Manual";
- }
- mapAndIndex($match[1], "preface.html#about", " ", $toc, $index);
- fputs($toc, " </ul>\n");
-
// Now autofind the main pages
$MAIN_REGEXP = join("|", $MAIN_FILES);
preg_match_all("![IVX]+\. <A HREF=\"($MAIN_REGEXP)\" >(.+)</A >(.+)(?=[IVX]+\. <A
HREF=\"($MAIN_REGEXP)|</DT ></DL ></DD ></DL)!U", $indexline, $matches,
PREG_SET_ORDER);