" >> "$index_file"
echo "" >> "$index_file"
echo "" >> "$index_file"
}
if ! [ "$LOGTALKHOME" ]
then
echo "Error! The environment variable LOGTALKHOME must be defined first!"
exit 1
elif ! [ "$LOGTALKUSER" ]
then
echo "Error! The environment variable LOGTALKUSER must be defined first!"
exit 1
else
while getopts "f:i:t:h" Option
do
case $Option in
f) f_arg="$OPTARG";;
i) i_arg="$OPTARG";;
t) t_arg="$OPTARG";;
h) usage_help;;
*) usage_help;;
esac
done
if [[ "$f_arg" != "" && "$f_arg" != "xhtml" && "$f_arg" != "html" ]]
then
echo "Error! Unsupported output format: $f_arg"
usage_help
exit 1
elif [ "$f_arg" != "" ]
then
format=$f_arg
fi
if [[ "$i_arg" != "" ]]
then
index_file=$i_arg
fi
if [[ "$t_arg" != "" ]]
then
index_title=$t_arg
fi
if ! [[ -a "./logtalk.dtd" ]]
then
cp "$LOGTALKHOME"/xml/logtalk.dtd .
fi
if ! [[ -a "./logtalk.xsd" ]]
then
cp "$LOGTALKHOME"/xml/logtalk.xsd .
fi
if ! [[ -a "./logtalk.css" ]]
then
cp "$LOGTALKUSER"/xml/logtalk.css .
fi
if ! [[ -a "./lgtxml.xsl" ]]
then
cp "$LOGTALKUSER"/xml/lgtxml.xsl .
fi
if [[ `(ls *.xml | wc -l) 2> /dev/null` -gt 0 ]]
then
echo
echo "generating index file..."
create_index_file
echo "index file generated"
echo
else
echo
echo "No XML files exist in the current directory!"
echo
fi
exit 0
fi