projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5206d3f) | patch
(\inforef): Move to more appropriate place.
authorKarl Berry <karl@gnu.org>
Wed, 18 Sep 1996 12:15:20 +0000 (12:15 +0000)
committerKarl Berry <karl@gnu.org>
Wed, 18 Sep 1996 12:15:20 +0000 (12:15 +0000)
commit6e7fa14c6524a96d71d18520676e03ea05011c3b
tree11c33ff40cc9598dcb2391e3e1021a0d4b770a69tree | snapshot
parent5206d3f2bca37af623410dd37f88bf0840ad2572commit | diff
 (\inforef): Move to more appropriate place.
* texinfo.tex (\inforef): Move to more appropriate place.
(\pounds): Remove spurious extra $.
(\email): Typeset argument in angle brackets.
(\macro): Use \doignore for robustness, instead of just letting TeX
parse the argument.
(\unmacro): Define.
texinfo.tex diff | blob | history
Domain: System / Base;