diff options
Diffstat (limited to 'scripts/mk-gpg-texi')
| -rwxr-xr-x | scripts/mk-gpg-texi | 40 |
1 files changed, 14 insertions, 26 deletions
diff --git a/scripts/mk-gpg-texi b/scripts/mk-gpg-texi index 447d2ebec..46f7acbf8 100755 --- a/scripts/mk-gpg-texi +++ b/scripts/mk-gpg-texi @@ -16,32 +16,20 @@ 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 >${file}.texi -# | ( -# case "$file" in -# *gpgv) -# sed '/@setfilename/a \ -# @dircategory GnuPG\ -# @direntry\ -# * gpgv: (gpgv). GnuPG signature verification tool.\ -# @end direntry -# ' -# ;; -# -# gpg) -# sed '/@setfilename/a \ -# @dircategory GnuPG\ -# @direntry\ -# * gpg: (gpg). GnuPG encryption and signing tool.\ -# @end direntry -# ' -# ;; -# -# *) -# cat -# ;; -# esac -# ) >${file}.texi + docbook2x-texi --to-stdout ${file}.xml | ( + case "$file" in + *gpgv) + sed 's/^@setfilename .*/@setfilename gpgv.info/' + ;; + gpg) + sed 's/^@setfilename .*/@setfilename gpg.info/' + ;; + + *) + cat + ;; + esac + ) >${file}.texi done |