summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-03-31 00:35:49 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-03-31 00:35:49 +0000
commitd91ffa8bc3f472977a8edfbd1ac824ad6ede576f (patch)
tree2ce48fd8f85dd89f4b013c5eed6ecfeec85f0ff0
parent75e42dccf5f50d11cab659be320cfb6bc1ac4faa (diff)
downloadmdk-d91ffa8bc3f472977a8edfbd1ac824ad6ede576f.tar.gz
mdk-d91ffa8bc3f472977a8edfbd1ac824ad6ede576f.tar.bz2
direntry added
-rw-r--r--doc/mdk.texi6
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