diff lispintro/texinfo.tex @ 41786:ebc070758e2a

Add @direntry.
author Pavel Janík <Pavel@Janik.cz>
date Sun, 02 Dec 2001 09:42:13 +0000
parents a8ee89e61d20
children f267224443ae
line wrap: on
line diff