Fix up the @setfilename lines.
[gnupg.git] / scripts / mk-gpg-texi
1 #!/bin/sh
2 # Helper to create the texinfo versions from gpg.sgml
3 #
4 # Copyright (C) 2002 Free Software Foundation, Inc.
5 #
6 # This file is free software; as a special exception the author gives
7 # unlimited permission to copy and/or distribute it, with or without
8 # modifications, as long as this notice is preserved.
9 #
10 # This program is distributed in the hope that it will be useful, but
11 # WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
12 # implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
13
14 set -e
15
16 for file in gpg gpgv; do
17    sgml2xml -x lower ${file}.sgml >${file}.xml
18 #  docbook2texi ${file}.xml | sed 's,--,---,' | (
19    docbook2x-texi --to-stdout ${file}.xml | (
20   case "$file" in
21     *gpgv)
22         sed 's/^@setfilename .*/@setfilename gpgv.info/'
23          ;;
24     gpg)
25         sed 's/^@setfilename .*/@setfilename gpg.info/'
26         ;;
27
28     *)
29     cat
30         ;;
31   esac
32   ) >${file}.texi 
33
34 done
35
36
37