?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 0071123) | patch
(\tocentry): Don't \turnoffactive before
commitc03e1164fd1e0545859695d7893193892896fb1d
authorkarl <karl>
Mon, 26 Jan 1998 20:40:21 +0000 (26 20:40 +0000)
committerkarl <karl>
Mon, 26 Jan 1998 20:40:21 +0000 (26 20:40 +0000)
treee04ea382050b1c80e868b06e62dd117a1d1fca04tree | snapshot (tar.gz zip)
parent007112347e055f7ca9cdb7073df776005539ea13commit | diff
(\tocentry): Don't \turnoffactive before
typesetting the arguments, it causes special characters to be
printed incorrectly.
texinfo.tex diff | blob | blame | history
GNU Make CVS Git mirror (updated by hand)