diff options
| author | David Aspinall | 1999-06-30 18:06:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-30 18:06:18 +0000 |
| commit | bf86c4d2fdf9c24061d4a125218be83c6b034556 (patch) | |
| tree | c355f7e0bcbb1101e9f196a517f7b3e0c38737cc /html/functions.php3 | |
| parent | a65dabfd5664ecf41590b50d6fcb850bca308370 (diff) | |
Removed hack for texi2html, now using hacked texi2html instead.
Diffstat (limited to 'html/functions.php3')
| -rw-r--r-- | html/functions.php3 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/functions.php3 b/html/functions.php3 index 2a547dae..5bdb122c 100644 --- a/html/functions.php3 +++ b/html/functions.php3 @@ -113,7 +113,7 @@ function small_header($title) { function small_header_body($title) { include('smallheader.phtml'); print "<h1>" . $title . "</h1>\n</td>\n</table>\n"; - print "<p>"; /* FIXME: hack to get CSS to work with bad HTML from texi2html */ +/* print "<p>"; FIXME: hack to get CSS to work with bad HTML from texi2html */ } /* FIXME: improve this function */ @@ -224,7 +224,7 @@ function hack_html($filename,$title="") { } else { print "<A " . $linebits[2] . $linebits[3]; } }; /* Hack on a header and footer */ - if (eregi("<BODY>",$line)) { + if (eregi("<BODY.*>",$line)) { /* Assume there's nothing else interesting on the line, whoops. */ print $line; small_header_body($title); |