diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mdk.texi | 6 | 
1 files changed, 6 insertions, 0 deletions
| diff --git a/doc/mdk.texi b/doc/mdk.texi index 338917b..a069141 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -6,6 +6,12 @@  @setchapternewpage odd  @c %**end of header +@dircategory GNU programming tools +@direntry +* MDK: (mdk).           The GNU MIX Development Kit. +@end direntry + +  @set UPDATED 20 February 2001  @set EDITION 0.3  @set VERSION 0.3 | 
