diff options
| author | Werner Koch <[email protected]> | 2004-10-18 07:40:11 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2004-10-18 07:40:11 +0000 |
| commit | 901f13aedaca5ef72bcee100780cd58282baf449 (patch) | |
| tree | 05ea3e1c50eda813515e02151a8213d2859a3bd8 /scripts/mk-gpg-texi | |
| parent | (agent_get_passphrase): Cast UIDLEN to int. Noted (diff) | |
| download | gnupg-901f13aedaca5ef72bcee100780cd58282baf449.tar.gz gnupg-901f13aedaca5ef72bcee100780cd58282baf449.zip | |
More fixups to help Debian's install-info.
Diffstat (limited to 'scripts/mk-gpg-texi')
| -rwxr-xr-x | scripts/mk-gpg-texi | 23 |
1 files changed, 19 insertions, 4 deletions
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 + |