2
# Workaround for a bug in latex2html which does not seem to
3
# manage the \tableofcontents command correctly
4
&ignore_commands( <<_IGNORED_CMDS_);
10
$BODYTEXT = "BGCOLOR=\"\#FFFFFF\" text=\"\#000000\" link=\"\#0000FF\" vlink=\"\#4444FF\" alink=\"\#3388FF\"";
12
$SHOW_SECTION_NUMBERS = 1;
18
Copyright (C) 2000, 2001 Free Software Foundation, Inc.
20
Permission is granted to make and distribute verbatim copies of this
21
manual provided the copyright notice and this permission notice are
22
preserved on all copies.
24
Permission is granted to copy and distribute modified versions of this
25
manual under the conditions for verbatim copying, provided that the
26
entire resulting derived work is distributed under the terms of a
27
permission notice identical to this one.
29
Permission is granted to copy and distribute translations of this
30
manual into another language, under the above conditions for modified
35
sub 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) .
42
sub bot_navigation_panel {
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)