diff options
| author | Karl Berry <karl@gnu.org> | 1998-01-26 20:40:21 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-01-26 20:40:21 +0000 |
| commit | e94d73997a6de095622b8985ef54c3e2a66a8693 (patch) | |
| tree | b9754da2c8df7f1cc7ebc9cdb48251dd11fcff9d /w32 | |
| parent | 7585dedefcd508de2a01c0de933334f1345676ca (diff) | |
| download | gunmake-e94d73997a6de095622b8985ef54c3e2a66a8693.tar.gz | |
(\tocentry): Don't \turnoffactive before
typesetting the arguments, it causes special characters to be
printed incorrectly.
Diffstat (limited to 'w32')
0 files changed, 0 insertions, 0 deletions