[PHP-DOC] cvs: phpdoc / make_chm.php

[Hojtsy Gabor]

goba            Fri Feb  2 10:45:09 2001 EDT

  Modified files:              
    /phpdoc     make_chm.php 
  Log:
  - il => it
  
  - getting the manual title to be the window title
  
  - reverting the (manual.html -> $indexfile) changes
    made by Jirka Kosek [$indexfile can be index.html if
    fancy_mode is used, so we need to exlicitly use
    manual.html where we need to extract information
    from the generated index]
  
  
  
Index: phpdoc/make_chm.php
diff -u phpdoc/make_chm.php:1.7 phpdoc/make_chm.php:1.8
--- phpdoc/make_chm.php:1.7     Thu Feb  1 14:48:17 2001
+++ phpdoc/make_chm.php Fri Feb  2 10:45:08 2001
@@ -27,7 +27,7 @@
       "es"    => "0xc0a Spanish (International Sort)",
       "fr"    => "0x40c French (France)",
       "hu"    => "0x40e Hungarian",
-      "il"    => "0x410 Italian (Italy)",
+      "it"    => "0x410 Italian (Italy)",
       "ja"    => "0x411 Japanese",
       "kr"    => "0x412 Korean",
       "nl"    => "0x413 Dutch (Netherlands)",
@@ -58,7 +58,7 @@
     
     // now try to find out how the manual named in the actual language
     // this must be in the manual.html file as the title (DSSSL generated)
-    $content = join("", file("$fancydir/$indexfile"));
+    $content = join("", file("$fancydir/manual.html"));
     if (preg_match("|>(.*)</TITLE|U", $content, $found)) {
       $manual_title = $found[1];
     } else { $manual_title = "PHP Manual"; }
@@ -66,7 +66,7 @@
     fputs ($f, "Title=$manual_title\n");
     
     // define the phpdoc window style (adds more functionality)
-    fputs($f , "\n[WINDOWS]\nphpdoc=\"PHP Manual\",\"manual_$language.hhc\",," .
+    fputs($f, "\n[WINDOWS]\nphpdoc=\"$manual_title\",\"manual_$language.hhc\",," .
     
"\"$fancydir\\$indexfile\",\"$fancydir\\$indexfile\",,,,,0x23520,,0x386e,,,,,,,,0\n");
 
     // write out all the filenames as in $fancydir    
@@ -141,7 +141,7 @@
 <UL>
 <?php
   
-  $index_a = file ("$fancydir/$indexfile");
+  $index_a = file ("$fancydir/manual.html");
   $ijoin = join("", $index_a);
   $ijoin = preg_replace("/[\r|\n]/", " ", $ijoin);
   
@@ -152,7 +152,7 @@
 
   if ($fancyindex) {
     preg_match('|CLASS=\"title\" ><A NAME=\"manual\" >(.*)</A|U', $ijoin, $match);
-    SiteMapObj($match[1], "$indexfile", "  ", 21);
+    SiteMapObj($match[1], "manual.html", "  ", 21);
   }
 
   preg_match('|<A HREF="preface.html" >(.*)</A >|U', $ijoin, $match);