File indexing completed on 2024-05-05 04:52:23 

0001 #!/bin/bash
0002 
0003 if [ "$4" == "" ]; then
0004         echo "$0 <docbook file> <po file> <lang> <out file>"
0005         exit 1
0006 fi
0007 
0008 echo "$ po2xml $1 $2"
0009 po2xml $1 $2 | sed "s,<!ENTITY % English \"INCLUDE\">,<!ENTITY % $3 \"INCLUDE\">," > $4
0010 
0011 DIR=$(dirname $4)
0012 
0013 if [ "$DIR" != "." ]; then
0014         echo "$ cd $DIR; meinproc5 $(basename $4)"
0015 
0016         (cd $DIR; meinproc5 $(basename $4))
0017 else
0018         echo "$ meinproc5 $4"
0019         meinproc5 $4
0020 fi
0021 mv $DIR/index.html $DIR/${DIR}_index.html