2002-07-01 08:52:54 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
# Helper to create the texinfo versions from gpg.sgml
|
|
|
|
|
#
|
|
|
|
|
# Copyright (C) 2002 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
|
|
|
|
|
# modifications, as long as this notice is preserved.
|
|
|
|
|
#
|
|
|
|
|
# This program is distributed in the hope that it will be useful, but
|
|
|
|
|
# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
|
|
|
|
|
# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
for file in gpg gpgv; do
|
2004-10-01 10:11:42 +00:00
|
|
|
sgml2xml -x lower ${file}.sgml >${file}.xml
|
|
|
|
|
# docbook2texi ${file}.xml | sed 's,--,---,' | (
|
2004-10-15 09:34:21 +00:00
|
|
|
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
|
2002-07-01 08:52:54 +00:00
|
|
|
|
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
