goba Sun Jan 14 06:05:36 2001 EDT
Modified files:
/phpdoc make_chm_fancy.php make_chm_style.css
Log:
Get rid of tabs...
Index: phpdoc/make_chm_fancy.php
diff -u phpdoc/make_chm_fancy.php:1.1 phpdoc/make_chm_fancy.php:1.2
--- phpdoc/make_chm_fancy.php:1.1 Sun Jan 14 05:59:11 2001
+++ phpdoc/make_chm_fancy.php Sun Jan 14 06:05:35 2001
@@ -1,95 +1,95 @@
<?php
- set_time_limit(0);
-
- $htmldir = getenv("PHP_HELP_COMPILE_DIR");
- $fancydir = getenv("PHP_HELP_COMPILE_FANCYDIR");
- $language = getenv("PHP_HELP_COMPILE_LANG");
- $counter = 0;
-
- $handle=opendir($htmldir);
- while (false!==($filename = readdir($handle))) {
- if (strpos($filename, ".html") && ($filename != "index.html")) {
- fancy_design($filename);
- }
- }
- closedir($handle);
-
- // make GENTIME the actual date/time
- $content = join("", file("make_chm_index_$language.html"));
- $content = preg_replace("/\\[GENTIME\\]/", date("D M d H:i:s Y"), $content);
- $fp = fopen("$fancydir/index.html", "w");
- fputs($fp, $content);
- fclose($fp);
-
- copy("make_chm_style.css", "$fancydir/style.css");
- copy("make_chm_spc.gif", "$fancydir/spacer.gif");
-
- $counter += 3;
-
- echo "Converting ready...\n";
- echo "Total number of files written in $fancydir directory: $counter\n\n";
-
- function fancy_design($fname) {
-
- global $htmldir, $fancydir, $counter;
-
- // get the contents of the file from $htmldir
- $content = join("", file("$htmldir/$fname"));
-
- // css file linking
- $content = preg_replace("|</HEAD|", '<LINK REL="stylesheet"
HREF="style.css"></HEAD', $content);
-
- // no margins around
- $content = preg_replace("/<BODY/", '<BODY TOPMARGIN="0"
LEFTMARGIN="0"', $content);
-
- // HR dropout
- $content = preg_replace("/<HR\\s+ALIGN=\"LEFT\"\\s+WIDTH=\"100%\">/",
'', $content);
-
- // whole page table and backgrounds
- $wpbegin = '<TABLE BORDER="0" WIDTH="100%" HEIGHT="100%"
CELLSPACING="0" CELLPADDING="0"><TR><TD COLSPAN="3">';
- $bnavt = '<TABLE BGCOLOR="#CCCCFF" BORDER="0" CELLPADDING="0"
CELLSPACING="0" WIDTH="100%">';
- $lnavt = '<TR BGCOLOR="#333366"><TD><IMG SRC="spacer.gif" BORDER="0"
WIDTH="1" HEIGHT="1"><BR></TD></TR>';
- $space = '<IMG SRC="spacer.gif" WIDTH="10" HEIGHT="1">';
-
- // navheader backgound
- $content =
preg_replace("/<DIV\\s+CLASS=\"NAVHEADER\"\\s+><TABLE(.*)CELLPADDING=\"0\"(.*)<\\/TABLE\\s+><\\/DIV\\s+>/Us",
- $wpbegin . '<DIV CLASS="NAVHEADER">' . $bnavt .
'<TR><TD><TABLE\\1CELLPADDING="3"\\2</TABLE></TD></TR>' . $lnavt .
'</TABLE></DIV></TD></TR><TR><TD>' . $space . '</TD><TD HEIGHT="100%" VALIGN="TOP"
WIDTH="100%"><BR>', $content);
-
- // navfooter backgound
- $content =
preg_replace("/<DIV\\s+CLASS=\"NAVFOOTER\"\\s+><TABLE(.*)CELLPADDING=\"0\"(.*)<\\/TABLE\\s+><\\/DIV\\s+>/Us",
- '<BR></TD><TD>' . $space . '</TD></TR><TR><TD COLSPAN="3"><DIV
CLASS="NAVFOOTER">' . $bnavt . $lnavt .
'<TR><TD><TABLE\\1CELLPADDING="3"\\2</TABLE></TD></TR></TABLE></DIV></TD></TR></TABLE>',
$content);
-
- // fix copyright page fault...
- if ($fname == "copyright.html") {
- $content = preg_replace("/&copy;/", "©", $content);
- $content = preg_replace("/<A\\s+HREF=\"manual.html(.*)\"/U",
"<A HREF=\"index.html\"", $content);
- $content = preg_replace("|(</TH\\s+></TR\\s+>)|", "\\1<TR><TH
COLSPAN=\"3\" ALIGN=\"center\"> </TH></TR>", $content);
- $content = preg_replace("|( </TD\\s+></TR\\s+>)|",
"\\1<TR><TD COLSPAN=\"3\" ALIGN=\"center\"> </TD></TR>", $content);
- }
-
- // fix manual.html to look far better...
- elseif ($fname == "manual.html") {
- $indexchange = '<TABLE BORDER="0" WIDTH="100%" HEIGHT="100%"
CELLSPACING="0" CELLPADDING="0"><TR><TD COLSPAN="3"><DIV CLASS="NAVHEADER"><TABLE
BGCOLOR="#CCCCFF" BORDER="0" CELLPADDING="0" CELLSPACING="0"
WIDTH="100%"><TR><TD><TABLE
- WIDTH="100%" BORDER="0" CELLPADDING="3"
CELLSPACING="0"><TR><TH COLSPAN="3">PHP K�zik�nyv</TH></TR><TR><TD COLSPAN="3"
ALIGN="center"> </TD></TR></TABLE></TD></TR><TR BGCOLOR="#333366"><TD><IMG
SRC="spacer.gif" BORDER="0" WIDTH="1" HEIGHT="1"><BR></TD></TR></TABLE>
- </DIV></TD></TR><TR><TD><IMG SRC="spacer.gif" WIDTH="10"
HEIGHT="1"></TD><TD HEIGHT="100%" VALIGN="TOP" WIDTH="100%"><BR>';
- $content = preg_replace("/(<DIV\\s+CLASS=\"BOOK\")/",
"$indexchange\\1", $content);
- $content =
preg_replace("/(<DIV\\s+CLASS=\"author\").*<HR>/Us", "", $content);
-
preg_match('|<DIV\\s+CLASS="TOC"\\s+><DL\\s+><DT\\s+><B\\s+>(.*)</B\\s+>|U', $content,
$match);
- $content =
preg_replace("|(CLASS=\"title\"\\s+><A\\s+NAME=\"manual\"\\s+>).*(</A)|U",
"\\1$match[1]\\2", $content);
- $content =
preg_replace("|<DT\\s+><B\\s+>(.*)</B\\s+></DT\\s+>|U", "", $content);
-
- }
-
- // print out that new file to $fancydir
- $fp = fopen("$fancydir/$fname", "w");
- fputs($fp, $content);
- fclose($fp);
-
- // print out a message to see the progress
- echo "$fancydir/$fname ready...\n";
- $counter++;
-
- }
+ set_time_limit(0);
+
+ $htmldir = getenv("PHP_HELP_COMPILE_DIR");
+ $fancydir = getenv("PHP_HELP_COMPILE_FANCYDIR");
+ $language = getenv("PHP_HELP_COMPILE_LANG");
+ $counter = 0;
+
+ $handle=opendir($htmldir);
+ while (false!==($filename = readdir($handle))) {
+ if (strpos($filename, ".html") && ($filename != "index.html")) {
+ fancy_design($filename);
+ }
+ }
+ closedir($handle);
+
+ // make GENTIME the actual date/time
+ $content = join("", file("make_chm_index_$language.html"));
+ $content = preg_replace("/\\[GENTIME\\]/", date("D M d H:i:s Y"), $content);
+ $fp = fopen("$fancydir/index.html", "w");
+ fputs($fp, $content);
+ fclose($fp);
+
+ copy("make_chm_style.css", "$fancydir/style.css");
+ copy("make_chm_spc.gif", "$fancydir/spacer.gif");
+
+ $counter += 3;
+
+ echo "Converting ready...\n";
+ echo "Total number of files written in $fancydir directory: $counter\n\n";
+
+ function fancy_design($fname) {
+
+ global $htmldir, $fancydir, $counter;
+
+ // get the contents of the file from $htmldir
+ $content = join("", file("$htmldir/$fname"));
+
+ // css file linking
+ $content = preg_replace("|</HEAD|", '<LINK REL="stylesheet"
+HREF="style.css"></HEAD', $content);
+
+ // no margins around
+ $content = preg_replace("/<BODY/", '<BODY TOPMARGIN="0" LEFTMARGIN="0"',
+$content);
+
+ // HR dropout
+ $content = preg_replace("/<HR\\s+ALIGN=\"LEFT\"\\s+WIDTH=\"100%\">/", '',
+$content);
+
+ // whole page table and backgrounds
+ $wpbegin = '<TABLE BORDER="0" WIDTH="100%" HEIGHT="100%" CELLSPACING="0"
+CELLPADDING="0"><TR><TD COLSPAN="3">';
+ $bnavt = '<TABLE BGCOLOR="#CCCCFF" BORDER="0" CELLPADDING="0" CELLSPACING="0"
+WIDTH="100%">';
+ $lnavt = '<TR BGCOLOR="#333366"><TD><IMG SRC="spacer.gif" BORDER="0" WIDTH="1"
+HEIGHT="1"><BR></TD></TR>';
+ $space = '<IMG SRC="spacer.gif" WIDTH="10" HEIGHT="1">';
+
+ // navheader backgound
+ $content =
+preg_replace("/<DIV\\s+CLASS=\"NAVHEADER\"\\s+><TABLE(.*)CELLPADDING=\"0\"(.*)<\\/TABLE\\s+><\\/DIV\\s+>/Us",
+ $wpbegin . '<DIV CLASS="NAVHEADER">' . $bnavt .
+'<TR><TD><TABLE\\1CELLPADDING="3"\\2</TABLE></TD></TR>' . $lnavt .
+'</TABLE></DIV></TD></TR><TR><TD>' . $space . '</TD><TD HEIGHT="100%" VALIGN="TOP"
+WIDTH="100%"><BR>', $content);
+
+ // navfooter backgound
+ $content =
+preg_replace("/<DIV\\s+CLASS=\"NAVFOOTER\"\\s+><TABLE(.*)CELLPADDING=\"0\"(.*)<\\/TABLE\\s+><\\/DIV\\s+>/Us",
+ '<BR></TD><TD>' . $space . '</TD></TR><TR><TD COLSPAN="3"><DIV
+CLASS="NAVFOOTER">' . $bnavt . $lnavt .
+'<TR><TD><TABLE\\1CELLPADDING="3"\\2</TABLE></TD></TR></TABLE></DIV></TD></TR></TABLE>',
+ $content);
+
+ // fix copyright page fault...
+ if ($fname == "copyright.html") {
+ $content = preg_replace("/&copy;/", "©", $content);
+ $content = preg_replace("/<A\\s+HREF=\"manual.html(.*)\"/U", "<A
+HREF=\"index.html\"", $content);
+ $content = preg_replace("|(</TH\\s+></TR\\s+>)|", "\\1<TR><TH COLSPAN=\"3\"
+ALIGN=\"center\"> </TH></TR>", $content);
+ $content = preg_replace("|( </TD\\s+></TR\\s+>)|", "\\1<TR><TD
+COLSPAN=\"3\" ALIGN=\"center\"> </TD></TR>", $content);
+ }
+
+ // fix manual.html to look far better...
+ elseif ($fname == "manual.html") {
+ $indexchange = '<TABLE BORDER="0" WIDTH="100%" HEIGHT="100%" CELLSPACING="0"
+CELLPADDING="0"><TR><TD COLSPAN="3"><DIV CLASS="NAVHEADER"><TABLE BGCOLOR="#CCCCFF"
+BORDER="0" CELLPADDING="0" CELLSPACING="0" WIDTH="100%"><TR><TD><TABLE
+ WIDTH="100%" BORDER="0" CELLPADDING="3" CELLSPACING="0"><TR><TH COLSPAN="3">PHP
+K�zik�nyv</TH></TR><TR><TD COLSPAN="3"
+ALIGN="center"> </TD></TR></TABLE></TD></TR><TR BGCOLOR="#333366"><TD><IMG
+SRC="spacer.gif" BORDER="0" WIDTH="1" HEIGHT="1"><BR></TD></TR></TABLE>
+ </DIV></TD></TR><TR><TD><IMG SRC="spacer.gif" WIDTH="10" HEIGHT="1"></TD><TD
+HEIGHT="100%" VALIGN="TOP" WIDTH="100%"><BR>';
+ $content = preg_replace("/(<DIV\\s+CLASS=\"BOOK\")/", "$indexchange\\1",
+$content);
+ $content = preg_replace("/(<DIV\\s+CLASS=\"author\").*<HR>/Us", "", $content);
+ preg_match('|<DIV\\s+CLASS="TOC"\\s+><DL\\s+><DT\\s+><B\\s+>(.*)</B\\s+>|U',
+$content, $match);
+ $content =
+preg_replace("|(CLASS=\"title\"\\s+><A\\s+NAME=\"manual\"\\s+>).*(</A)|U",
+"\\1$match[1]\\2", $content);
+ $content = preg_replace("|<DT\\s+><B\\s+>(.*)</B\\s+></DT\\s+>|U", "",
+$content);
+
+ }
+
+ // print out that new file to $fancydir
+ $fp = fopen("$fancydir/$fname", "w");
+ fputs($fp, $content);
+ fclose($fp);
+
+ // print out a message to see the progress
+ echo "$fancydir/$fname ready...\n";
+ $counter++;
+
+ }
?>
Index: phpdoc/make_chm_style.css
diff -u phpdoc/make_chm_style.css:1.1 phpdoc/make_chm_style.css:1.2
--- phpdoc/make_chm_style.css:1.1 Sun Jan 14 06:00:00 2001
+++ phpdoc/make_chm_style.css Sun Jan 14 06:05:35 2001
@@ -1,57 +1,57 @@
BODY {
- FONT-FAMILY: Verdana,arial,helvetica,sans-serif; FONT-SIZE: 10pt
+ FONT-FAMILY: Verdana,arial,helvetica,sans-serif; FONT-SIZE: 10pt
}
TD {
- FONT-FAMILY: Verdana,arial,helvetica,sans-serif; FONT-SIZE: 10pt
+ FONT-FAMILY: Verdana,arial,helvetica,sans-serif; FONT-SIZE: 10pt
}
TH {
- FONT-FAMILY: Verdana,arial,helvetica,sans-serif; FONT-SIZE: 10pt
+ FONT-FAMILY: Verdana,arial,helvetica,sans-serif; FONT-SIZE: 10pt
}
P {
- MARGIN-BOTTOM: 2pt; MARGIN-TOP: 10pt
+ MARGIN-BOTTOM: 2pt; MARGIN-TOP: 10pt
}
EM {
- FONT-STYLE: italic; FONT-WEIGHT: bold
+ FONT-STYLE: italic; FONT-WEIGHT: bold
}
UL {
- MARGIN-TOP: 10pt
+ MARGIN-TOP: 10pt
}
OL {
- MARGIN-TOP: 10pt
+ MARGIN-TOP: 10pt
}
PRE {
- FONT-FAMILY: "andale mono", "monotype.com", "courier new", monospace;
FONT-SIZE: 10pt
+ FONT-FAMILY: "andale mono", "monotype.com", "courier new", monospace; FONT-SIZE:
+10pt
}
A.nav {
- COLOR: #000066; TEXT-DECORATION: none; FONT-WEIGHT: bold
+ COLOR: #000066; TEXT-DECORATION: none; FONT-WEIGHT: bold
}
A.nav:hover {
- COLOR: #000066; TEXT-DECORATION: underline; FONT-WEIGHT: bold
+ COLOR: #000066; TEXT-DECORATION: underline; FONT-WEIGHT: bold
}
H1 {
- COLOR: #000066; FONT-FAMILY: tahoma,arial,helvetica,sans-serif; FONT-SIZE:
18pt; FONT-WEIGHT: bold; MARGIN-BOTTOM: 5pt
+ COLOR: #000066; FONT-FAMILY: tahoma,arial,helvetica,sans-serif; FONT-SIZE: 18pt;
+FONT-WEIGHT: bold; MARGIN-BOTTOM: 5pt
}
H2 {
- COLOR: #000066; FONT-FAMILY: tahoma,arial,helvetica,sans-serif; FONT-SIZE:
14pt; FONT-WEIGHT: bold; MARGIN-BOTTOM: 5pt
+ COLOR: #000066; FONT-FAMILY: tahoma,arial,helvetica,sans-serif; FONT-SIZE: 14pt;
+FONT-WEIGHT: bold; MARGIN-BOTTOM: 5pt
}
H3 {
- COLOR: #000066; FONT-FAMILY: tahoma,arial,helvetica,sans-serif; FONT-SIZE:
12pt; FONT-WEIGHT: bold; MARGIN-BOTTOM: 5pt
+ COLOR: #000066; FONT-FAMILY: tahoma,arial,helvetica,sans-serif; FONT-SIZE: 12pt;
+FONT-WEIGHT: bold; MARGIN-BOTTOM: 5pt
}
SMALL {
- FONT-FAMILY: arial,helvetica,sans-serif; FONT-SIZE: 8.5pt
+ FONT-FAMILY: arial,helvetica,sans-serif; FONT-SIZE: 8.5pt
}
.tableTitle {
- FONT-FAMILY: arial,helvetica,sans-serif; FONT-SIZE: 12pt; FONT-WEIGHT: bold
+ FONT-FAMILY: arial,helvetica,sans-serif; FONT-SIZE: 12pt; FONT-WEIGHT: bold
}
.tableExtras {
- COLOR: #ffffff; FONT-FAMILY: arial,helvetica,sans-serif; FONT-SIZE: 8.5pt
+ COLOR: #ffffff; FONT-FAMILY: arial,helvetica,sans-serif; FONT-SIZE: 8.5pt
}
TABLE.warning, TABLE.caution {
- border-color : #B22222;
- background-color : #EEE8AA;
- border-width : 2;
- font : bold normal Arial, Helvetica, sans-serif;
- margin : 0;
- border-spacing : 0px;
+ border-color : #B22222;
+ background-color : #EEE8AA;
+ border-width : 2;
+ font : bold normal Arial, Helvetica, sans-serif;
+ margin : 0;
+ border-spacing : 0px;
}
