diff options
Diffstat (limited to '')
| -rw-r--r-- | scripts/ChangeLog | 4 | ||||
| -rwxr-xr-x | scripts/mk-gpg-texi | 23 |
2 files changed, 23 insertions, 4 deletions
diff --git a/scripts/ChangeLog b/scripts/ChangeLog index 36cfedc61..7dc62a12a 100644 --- a/scripts/ChangeLog +++ b/scripts/ChangeLog @@ -1,3 +1,7 @@ +2004-10-18 Werner Koch <[email protected]> + + * mk-gpg-texi: More fixups to help Debian's install-info. + 2004-10-15 Werner Koch <[email protected]> * mk-gpg-texi: Fix up the @setfilename lines. diff --git a/scripts/mk-gpg-texi b/scripts/mk-gpg-texi index 46f7acbf8..e269b5493 100755 --- a/scripts/mk-gpg-texi +++ b/scripts/mk-gpg-texi @@ -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 + |