Changeset 4226 for trunk/xml/lgt2txt.sh
- Timestamp:
- 04/25/08 16:26:46 (7 months ago)
- Files:
-
- 1 modified
-
trunk/xml/lgt2txt.sh (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/xml/lgt2txt.sh
r4220 r4226 1 #!/bin/ bash1 #!/bin/sh 2 2 3 3 ## ================================================================ … … 94 94 done 95 95 96 if [[ "$d_arg" != "" && ! -d "$d_arg" ]] 97 then 96 if [ "$d_arg" != "" ] && [ ! -d "$d_arg" ] ; then 98 97 echo "Error! directory does not exists: $d_arg" 99 98 usage_help 100 99 exit 1 101 elif [ "$d_arg" != "" ] 102 then 100 elif [ "$d_arg" != "" ] ; then 103 101 directory=$d_arg 104 102 fi 105 103 106 if [[ "$p_arg" != "" && "$p_arg" != "fop" && "$p_arg" != "xep" && "$p_arg" != "xinc" ]] 107 then 104 if [ "$p_arg" != "" ] && [ "$p_arg" != "fop" ] && [ "$p_arg" != "xep" ] && [ "$p_arg" != "xinc" ] ; then 108 105 echo "Error! Unsupported XSL-FO processor: $p_arg" 109 106 usage_help 110 107 exit 1 111 elif [ "$p_arg" != "" ] 112 then 108 elif [ "$p_arg" != "" ] ; then 113 109 processor=$p_arg 114 110 fi 115 111 116 if ! [[ -a "./logtalk.dtd" ]] 117 then 112 if ! [ -e "./logtalk.dtd" ] ; then 118 113 cp "$LOGTALKHOME"/xml/logtalk.dtd . 119 114 fi 120 115 121 if ! [[ -a "./custom.ent" ]] 122 then 116 if ! [ -e "./custom.ent" ] ; then 123 117 cp "$LOGTALKUSER"/xml/custom.ent . 124 118 fi 125 119 126 if ! [[ -a "./logtalk.xsd" ]] 127 then 120 if ! [ -e "./logtalk.xsd" ] ; then 128 121 cp "$LOGTALKHOME"/xml/logtalk.xsd . 129 122 fi 130 123 131 if [[ `(ls *.xml | wc -l) 2> /dev/null` -gt 0 ]] 132 then 124 if [ `(ls *.xml | wc -l) 2> /dev/null` -gt 0 ] ; then 133 125 echo 134 126 echo "converting XML files to text files..."
