projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6cca238) | patch
* texinfo.tex (\anchor): New command @anchor.
authorKarl Berry <karl@gnu.org>
Wed, 1 Jul 1998 14:28:14 +0000 (14:28 +0000)
committerKarl Berry <karl@gnu.org>
Wed, 1 Jul 1998 14:28:14 +0000 (14:28 +0000)
commitfefeb0f7bd908fd8092ce7b12df1d155519f570a
treed7ab1d1857a9c400fbe19a15ab3157615fa3d9c1tree | snapshot
parent6cca2382f0a35779d96cda9a846fa01c22d6916ccommit | diff
* texinfo.tex (\anchor): New command @anchor.
(\xrefX): Avoid double space when xref to an @anchor or an @unnumbered.

* texinfo.tex (\itemzzz): Use kerns and \unhbox when item text
fits in the space, so footnotes can work.
texinfo.tex diff | blob | history
Domain: System / Base;