mirror of
git://git.gnupg.org/gnupg.git
synced 2025-07-03 22:56:33 +02:00
* mk-w32-dist: Updated from stable branch.
* mk-gpg-texi: Changed to use the newer docbook2x-texi utility. * config.guess, config.sub, mkinstalldirs, missing * depcomp, install-sh: Upgraded.
This commit is contained in:
parent
85f9755968
commit
1d315be6fa
48 changed files with 25206 additions and 21006 deletions
|
@ -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
|
||||
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue