1 files changed, 11 insertions, 0 deletions
diff --git a/doc/menu.direntry b/doc/menu.direntry
new file mode 100755
index 0000000..0d9bd79
--- /dev/null
+++ b/doc/menu.direntry
@@ -0,0 +1,11 @@
+#!/bin/sh
+sedscript=`tempfile`
+cat <<'EOF' > $sedscript
+/@c %\*\*add dircategory and direntry here/a\
+@dircategory Information\
+@direntry\
+* Debian menu: \(menu\).                  The Debian menu system\
+@end direntry
+EOF
+sed -f $sedscript <$1 >$2
+rm $sedscript