diff options
Diffstat (limited to 'scripts/mk-gpg-texi')
| -rwxr-xr-x | scripts/mk-gpg-texi | 53 |
1 files changed, 28 insertions, 25 deletions
diff --git a/scripts/mk-gpg-texi b/scripts/mk-gpg-texi index 45a811742..447d2ebec 100755 --- a/scripts/mk-gpg-texi +++ b/scripts/mk-gpg-texi @@ -14,32 +14,35 @@ set -e for file in gpg gpgv; do - sgml2xml -x lower ${file}.sgml >${file}.xml - docbook2texi ${file}.xml | sed 's,--,---,' | ( - case "$file" in - *gpgv) - sed '/@setfilename/a \ -@dircategory GnuPG\ -@direntry\ -* gpgv: (gpgv). GnuPG signature verification tool.\ -@end direntry -' - ;; + 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 - gpg) - sed '/@setfilename/a \ -@dircategory GnuPG\ -@direntry\ -* gpg: (gpg). GnuPG encryption and signing tool.\ -@end direntry -' - ;; - - *) - cat - ;; - esac - ) >${file}.texi done |