Fix up the @setfilename lines.
authorWerner Koch <wk@gnupg.org>
Fri, 15 Oct 2004 09:34:21 +0000 (09:34 +0000)
committerWerner Koch <wk@gnupg.org>
Fri, 15 Oct 2004 09:34:21 +0000 (09:34 +0000)
scripts/ChangeLog
scripts/mk-gpg-texi

index 8973f7a..36cfedc 100644 (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>
 
        * mk-w32-dist: Updated from stable branch. 
index 447d2eb..46f7acb 100755 (executable)
@@ -16,32 +16,20 @@ set -e
 for file in gpg gpgv; do
    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 
+   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 
 
 done