From bf86c4d2fdf9c24061d4a125218be83c6b034556 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 18:06:18 +0000
Subject: Removed hack for texi2html, now using hacked texi2html instead.
---
html/functions.php3 | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'html/functions.php3')
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 "" . $title . "
\n\n\n";
- print ""; /* FIXME: hack to get CSS to work with bad HTML from texi2html */
+/* print "
"; 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 "",$line)) {
+ if (eregi("",$line)) {
/* Assume there's nothing else interesting on the line, whoops. */
print $line;
small_header_body($title);
--
cgit v1.2.3