diff options
| author | Richard M. Stallman <rms@gnu.org> | 1998-02-08 20:55:44 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1998-02-08 20:55:44 +0000 |
| commit | 217cfb8b3b25ed1fc4ebf2834e496bd5e6268bf5 (patch) | |
| tree | 1835883c3a34e4c28bd38c9bc71cb8a5b408c866 /src | |
| parent | 9c39efbca9b74a52b3e87c5bc4fbe9c375735550 (diff) | |
| download | emacs-217cfb8b3b25ed1fc4ebf2834e496bd5e6268bf5.tar.gz | |
(reftex.dvi, ../info/reftex): New targets.
(INFO_TARGETS, DVI_TARGETS): Add the new targets.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions