1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-11-10 21:38:50 +01:00

Fix up the @setfilename lines.

This commit is contained in:
Werner Koch 2004-10-15 09:34:21 +00:00
parent 7a8ebe3db7
commit 15baf5c05b
2 changed files with 18 additions and 26 deletions

View File

@ -1,3 +1,7 @@
2004-10-15 Werner Koch <wk@g10code.com>
* mk-gpg-texi: Fix up the @setfilename lines.
2004-10-01 Werner Koch <wk@g10code.com> 2004-10-01 Werner Koch <wk@g10code.com>
* mk-w32-dist: Updated from stable branch. * mk-w32-dist: Updated from stable branch.

View File

@ -16,32 +16,20 @@ set -e
for file in gpg gpgv; do for file in gpg gpgv; do
sgml2xml -x lower ${file}.sgml >${file}.xml sgml2xml -x lower ${file}.sgml >${file}.xml
# docbook2texi ${file}.xml | sed 's,--,---,' | ( # docbook2texi ${file}.xml | sed 's,--,---,' | (
docbook2x-texi --to-stdout ${file}.xml >${file}.texi docbook2x-texi --to-stdout ${file}.xml | (
# | ( case "$file" in
# case "$file" in *gpgv)
# *gpgv) sed 's/^@setfilename .*/@setfilename gpgv.info/'
# sed '/@setfilename/a \ ;;
# @dircategory GnuPG\ gpg)
# @direntry\ sed 's/^@setfilename .*/@setfilename gpg.info/'
# * gpgv: (gpgv). GnuPG signature verification tool.\ ;;
# @end direntry
# ' *)
# ;; cat
# ;;
# gpg) esac
# sed '/@setfilename/a \ ) >${file}.texi
# @dircategory GnuPG\
# @direntry\
# * gpg: (gpg). GnuPG encryption and signing tool.\
# @end direntry
# '
# ;;
#
# *)
# cat
# ;;
# esac
# ) >${file}.texi
done done