* mk-w32-dist: Updated from stable branch.
[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 >${file}.texi
20 #  | (
21 #    case "$file" in
22 #      *gpgv)
23 #          sed '/@setfilename/a \
24 #  @dircategory GnuPG\
25 #  @direntry\
26 #  * gpgv: (gpgv).                       GnuPG signature verification tool.\
27 #  @end direntry
28 #  '
29 #           ;;
30 #  
31 #      gpg)
32 #          sed '/@setfilename/a \
33 #  @dircategory GnuPG\
34 #  @direntry\
35 #  * gpg: (gpg).                         GnuPG encryption and signing tool.\
36 #  @end direntry
37 #  '
38 #          ;;
39 #  
40 #      *)
41 #      cat
42 #          ;;
43 #    esac
44 #    ) >${file}.texi 
45
46 done
47
48
49