1625 |
@end deftypefn |
@end deftypefn |
1626 |
@end ignore |
@end ignore |
1627 |
|
|
1628 |
|
A user name and a date are collected to be output in the footer. |
1629 |
|
You can change them by defining @variable{$USER} and @variable{$DATE} |
1630 |
|
in the initialization file. |
1631 |
|
|
1632 |
The default functions call the function associated with |
The default functions call the function associated with |
1633 |
@variable{$print_foot_navigation} to format the navigation panel for the |
@variable{$print_foot_navigation} to format the navigation panel for the |
1634 |
page footer. Thus you can control parts of the formatting by |
page footer. Thus you can control parts of the formatting by |