diff man/misc.texi @ 33670:bdd68c1ec433

Uncomment @dircategory.
author Dave Love <fx@gnu.org>
date Tue, 21 Nov 2000 11:39:43 +0000
parents fe183c1fbf56
children fd06a4e20d87
line wrap: on
line diff