1
2# Workaround for a bug in latex2html which does not seem to
3# manage the \tableofcontents command correctly
4&ignore_commands( <<_IGNORED_CMDS_);
5tableofcontents
6_IGNORED_CMDS_
7
8$ASCII_MODE = 1;
9
10$BODYTEXT = "BGCOLOR=\"\#FFFFFF\" text=\"\#000000\" link=\"\#0000FF\" vlink=\"\#4444FF\" alink=\"\#3388FF\"";
11
12$SHOW_SECTION_NUMBERS = 1;
13
14$MAX_SPLIT_DEPTH = 4;
15
16$INFO = "
17<P>
18Copyright (C) 2000, 2001 Free Software Foundation, Inc.
19<P>
20Permission is granted to make and distribute verbatim copies of this
21manual provided the copyright notice and this permission notice are
22preserved on all copies.
23<P>
24Permission is granted to copy and distribute modified versions of this
25manual under the conditions for verbatim copying, provided that the
26entire resulting derived work is distributed under the terms of a
27permission notice identical to this one.
28<P>
29Permission is granted to copy and distribute translations of this
30manual into another language, under the above conditions for modified
31versions.
32";
33
34
35sub top_navigation_panel {
36    ($NEXT_TITLE ? "<B> Next: $NEXT_TITLE </B>\n" : undef) .
37    ($UP_TITLE ? "<B>Up: $UP_TITLE  </B>\n" : undef) .
38    ($PREVIOUS_TITLE ? "<B> Previous: $PREVIOUS_TITLE </B>\n" : undef) .
39    "<BR> <P>\n"
40}
41
42sub bot_navigation_panel {
43    "<HR>".
44    ($NEXT_TITLE ? "<B> Next: $NEXT_TITLE </B>\n" : undef) .
45    ($UP_TITLE ? "<B>Up: $UP_TITLE </B>\n" : undef) .
46    ($PREVIOUS_TITLE ? "<B> Previous: $PREVIOUS_TITLE </B>\n" : undef)
47}
48