More fixups to help Debian's install-info.
authorWerner Koch <wk@gnupg.org>
Mon, 18 Oct 2004 07:40:11 +0000 (07:40 +0000)
committerWerner Koch <wk@gnupg.org>
Mon, 18 Oct 2004 07:40:11 +0000 (07:40 +0000)
scripts/ChangeLog
scripts/mk-gpg-texi

index 36cfedc..7dc62a1 100644 (file)
@@ -1,3 +1,7 @@
+2004-10-18  Werner Koch  <wk@g10code.com>
+
+       * mk-gpg-texi: More fixups to help Debian's install-info.
+
 2004-10-15  Werner Koch  <wk@g10code.com>
 
        * mk-gpg-texi: Fix up the @setfilename lines.
index 46f7acb..e269b54 100755 (executable)
@@ -1,7 +1,7 @@
 #!/bin/sh
 # Helper to create the texinfo versions from gpg.sgml
 #
-# Copyright (C) 2002 Free Software Foundation, Inc.
+# Copyright (C) 2002, 2004 Free Software Foundation, Inc.
 #
 # This file is free software; as a special exception the author gives
 # unlimited permission to copy and/or distribute it, with or without
@@ -16,13 +16,27 @@ set -e
 for file in gpg gpgv; do
    sgml2xml -x lower ${file}.sgml >${file}.xml
 #  docbook2texi ${file}.xml | sed 's,--,---,' | (
-   docbook2x-texi --to-stdout ${file}.xml | (
+   docbook2x-texi --to-stdout ${file}.xml | \
+   sed '/^@setfilename/,/^@end direntry/d' | (
   case "$file" in
     *gpgv)
-        sed 's/^@setfilename .*/@setfilename gpgv.info/'
+        sed '/\\input texinfo/a \
+@setfilename gpgv.info\
+@dircategory GnuPG\
+@direntry\
+* gpgv: (gpgv).                       GnuPG signature verification tool.\
+@end direntry
+'
          ;;
+
     gpg)
-        sed 's/^@setfilename .*/@setfilename gpg.info/'
+        sed '/\\input texinfo/a \
+@setfilename gpg.info\
+@dircategory GnuPG\
+@direntry\
+* gpg: (gpg).                         GnuPG encryption and signing tool.\
+@end direntry
+'
         ;;
 
     *)
@@ -35,3 +49,4 @@ done
 
 
 
+