projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fefeb0f) | patch
* texinfo.tex (\contents, \summarycontents, \startcontents): Use
authorKarl Berry <karl@gnu.org>
Thu, 2 Jul 1998 14:22:24 +0000 (14:22 +0000)
committerKarl Berry <karl@gnu.org>
Thu, 2 Jul 1998 14:22:24 +0000 (14:22 +0000)
commitfa1ec9e1f3ebdb9cf91413f826971d84868ef821
tree71f963baba1ff38d1562a3b7f81fe7b3cf1b4cb5tree | snapshot
parentfefeb0f7bd908fd8092ce7b12df1d155519f570acommit | diff
* texinfo.tex (\contents, \summarycontents, \startcontents): Use
  roman numerals for toc, arabic outside, even when toc is
  at the beginning.
texinfo.tex diff | blob | history
Domain: System / Base;