diff info/dir @ 34180:4cd2e11b3aca

Fix markup, add index entries, make the DVI output prettier.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 04 Dec 2000 16:17:49 +0000
parents f2bf083cd3c2
children f042a6d7e37c
line wrap: on
line diff