diff options
| author | David Aspinall | 1999-07-03 16:07:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 16:07:13 +0000 |
| commit | 91039eb83e31b6870bded95e533d80c8f088e88f (patch) | |
| tree | f843dfff455520a65060863ac0d3aedcc3c83e29 /html/functions.php3 | |
| parent | 85f9fd66df6cdbeac761a55e10fbdd10ae034ca5 (diff) | |
Comment
Diffstat (limited to 'html/functions.php3')
| -rw-r--r-- | html/functions.php3 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/html/functions.php3 b/html/functions.php3 index 5bdb122c..cc178e53 100644 --- a/html/functions.php3 +++ b/html/functions.php3 @@ -116,7 +116,8 @@ function small_header_body($title) { /* print "<p>"; FIXME: hack to get CSS to work with bad HTML from texi2html */ } -/* FIXME: improve this function */ +/* FIXME: remove this function: maybe just set a global variable, + or use SCRIPT_NAME, and then include footer.phtml. */ function footer($filemodified=".") { include('footer.phtml'); |