projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7585ded) | patch
(\tocentry): Don't \turnoffactive before
authorKarl Berry <karl@gnu.org>
Mon, 26 Jan 1998 20:40:21 +0000 (20:40 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 26 Jan 1998 20:40:21 +0000 (20:40 +0000)
commite94d73997a6de095622b8985ef54c3e2a66a8693
treeb9754da2c8df7f1cc7ebc9cdb48251dd11fcff9dtree | snapshot
parent7585dedefcd508de2a01c0de933334f1345676cacommit | diff
(\tocentry): Don't \turnoffactive before
typesetting the arguments, it causes special characters to be
printed incorrectly.
texinfo.tex diff | blob | history
Domain: System / Base;