diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-03-31 00:35:49 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-03-31 00:35:49 +0000 |
| commit | d91ffa8bc3f472977a8edfbd1ac824ad6ede576f (patch) | |
| tree | 2ce48fd8f85dd89f4b013c5eed6ecfeec85f0ff0 /doc | |
| parent | 75e42dccf5f50d11cab659be320cfb6bc1ac4faa (diff) | |
| download | mdk-d91ffa8bc3f472977a8edfbd1ac824ad6ede576f.tar.gz mdk-d91ffa8bc3f472977a8edfbd1ac824ad6ede576f.tar.bz2 | |
direntry added
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 |