diff options
| author | Karl Berry <karl@gnu.org> | 1997-05-19 21:34:38 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1997-05-19 21:34:38 +0000 |
| commit | 922730c4069618af2cfa7434e356b651b89d2462 (patch) | |
| tree | 0fbb58afc5603c15878a354e5e75b4a6a2cfb14b /configure.in | |
| parent | 5e91041347d14846655c495732292d8dc3b5e3ab (diff) | |
| download | gunmake-922730c4069618af2cfa7434e356b651b89d2462.tar.gz | |
(\codeunder): Use \_ and \ifusingtt to avoid dotaccent from _ in roman
fonts, e.g., @deftypefn.
(\tex): Remove spurious spaces at the end of subdefinitions.
From: "John W. Eaton" <jwe@bevo.che.wisc.edu>.
(\url, \email): \let to \code; no quotes or angle brackets.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions