diff options
| author | Karl Berry <karl@gnu.org> | 1998-08-10 19:17:34 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-08-10 19:17:34 +0000 |
| commit | fc6cca1c7c6d961348ad2002cbfc471606c2a79b (patch) | |
| tree | 1e8cae7f21ad687845ba779acb559bcefb7337a7 /GNUmakefile | |
| parent | 5d1d6aa6dec057dd2ff47826abbaae715e995d06 (diff) | |
| download | gunmake-fc6cca1c7c6d961348ad2002cbfc471606c2a79b.tar.gz | |
* texinfo.tex (\value): handle active _ or - in argument (happens
if called from @code).
Report from: Dave Love <d.love@dl.ac.uk>.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions