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 /make.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 'make.texinfo')
0 files changed, 0 insertions, 0 deletions