diff options
| author | Karl Berry <karl@gnu.org> | 1998-07-02 14:22:24 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-07-02 14:22:24 +0000 |
| commit | fa1ec9e1f3ebdb9cf91413f826971d84868ef821 (patch) | |
| tree | 71f963baba1ff38d1562a3b7f81fe7b3cf1b4cb5 /gpl.texinfo | |
| parent | fefeb0f7bd908fd8092ce7b12df1d155519f570a (diff) | |
| download | gunmake-fa1ec9e1f3ebdb9cf91413f826971d84868ef821.tar.gz | |
* texinfo.tex (\contents, \summarycontents, \startcontents): Use
roman numerals for toc, arabic outside, even when toc is
at the beginning.
Diffstat (limited to 'gpl.texinfo')
0 files changed, 0 insertions, 0 deletions