diff options
| author | Karl Berry <karl@gnu.org> | 1998-11-01 12:43:32 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-11-01 12:43:32 +0000 |
| commit | 9ad3cb03b7a4d126ddbc2784224a66d305058aba (patch) | |
| tree | 80025820e3fe8531005ab276d5a9abcf8b52df46 /gpl.texinfo | |
| parent | 0be25c6986a7d2f370bed76dbeebf8b0e897439e (diff) | |
| download | gunmake-9ad3cb03b7a4d126ddbc2784224a66d305058aba.tar.gz | |
* texinfo.tex (\indexnofonts,\indexdummies): add \url and \uref to
list.
Diffstat (limited to 'gpl.texinfo')
0 files changed, 0 insertions, 0 deletions