#!/usr/bin/env bash ############################################################################# ## ## XML documenting files to PDF conversion script ## Last updated on November 28, 2023 ## ## This file is part of Logtalk ## SPDX-FileCopyrightText: 1998-2023 Paulo Moura ## SPDX-License-Identifier: Apache-2.0 ## ## Licensed under the Apache License, Version 2.0 (the "License"); ## you may not use this file except in compliance with the License. ## You may obtain a copy of the License at ## ## http://www.apache.org/licenses/LICENSE-2.0 ## ## Unless required by applicable law or agreed to in writing, software ## distributed under the License is distributed on an "AS IS" BASIS, ## WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. ## See the License for the specific language governing permissions and ## limitations under the License. ## ############################################################################# print_version() { echo "$(basename "$0") 2.2" exit 0 } if ! [ "$LOGTALKHOME" ]; then echo "The environment variable LOGTALKHOME should be defined first, pointing" echo "to your Logtalk installation directory!" echo "Trying the default locations for the Logtalk installation..." if [ -d "/usr/local/share/logtalk" ]; then LOGTALKHOME=/usr/local/share/logtalk echo "... using Logtalk installation found at /usr/local/share/logtalk" elif [ -d "/usr/share/logtalk" ]; then LOGTALKHOME=/usr/share/logtalk echo "... using Logtalk installation found at /usr/share/logtalk" elif [ -d "/opt/local/share/logtalk" ]; then LOGTALKHOME=/opt/local/share/logtalk echo "... using Logtalk installation found at /opt/local/share/logtalk" elif [ -d "/opt/share/logtalk" ]; then LOGTALKHOME=/opt/share/logtalk echo "... using Logtalk installation found at /opt/share/logtalk" elif [ -d "$HOME/share/logtalk" ]; then LOGTALKHOME="$HOME/share/logtalk" echo "... using Logtalk installation found at $HOME/share/logtalk" elif [ -f "$( cd "$( dirname "$0" )" && pwd )/../core/core.pl" ]; then LOGTALKHOME="$( cd "$( dirname "$0" )" && pwd )/.." echo "... using Logtalk installation found at $( cd "$( dirname "$0" )" && pwd )/.." else echo "... unable to locate Logtalk installation directory!" >&2 echo exit 1 fi echo elif ! [ -d "$LOGTALKHOME" ]; then echo "The environment variable LOGTALKHOME points to a non-existing directory!" >&2 echo "Its current value is: $LOGTALKHOME" >&2 echo "The variable must be set to your Logtalk installation directory!" >&2 echo exit 1 fi export LOGTALKHOME if ! [ "$LOGTALKUSER" ]; then echo "The environment variable LOGTALKUSER should be defined first, pointing" echo "to your Logtalk user directory!" echo "Trying the default location for the Logtalk user directory..." export LOGTALKUSER=$HOME/logtalk if [ -d "$LOGTALKUSER" ]; then echo "... using Logtalk user directory found at $LOGTALKUSER" else echo "... Logtalk user directory not found at default location. Creating a new" echo "Logtalk user directory by running the \"logtalk_user_setup\" shell script:" logtalk_user_setup fi elif ! [ -d "$LOGTALKUSER" ]; then echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" echo "by running the \"logtalk_user_setup\" shell script:" logtalk_user_setup fi echo a4_xsl="$LOGTALKUSER/tools/lgtdoc/xml/logtalk_entity_to_pdf_a4.xsl" us_xsl="$LOGTALKUSER/tools/lgtdoc/xml/logtalk_entity_to_pdf_us.xsl" format=a4 # format=us processor=fop # processor=fop2 # processor=xep # processor=xinc directory="." usage_help() { echo echo "This script converts all Logtalk XML documenting files in the" echo "current directory to PDF files" echo echo "Usage:" echo " $(basename "$0") [-f format] [-d directory] [-p processor]" echo " $(basename "$0") -v" echo " $(basename "$0") -h" echo echo "Optional arguments:" echo " -f paper format (either a4 or us; default is $format)" echo " -d output directory for the PDF files (default is $directory)" echo " -p XSL-FO processor (either fop, fop2, xep, or xinc; default is $processor)" echo " -v print version" echo " -h help" echo } while getopts "vf:d:p:h" Option do case $Option in v) print_version;; f) f_arg="$OPTARG";; d) d_arg="$OPTARG";; p) p_arg="$OPTARG";; h) usage_help; exit;; *) usage_help; exit;; esac done if [ "$f_arg" != "" ] && [ "$f_arg" != "a4" ] && [ "$f_arg" != "us" ] ; then echo "Error! Unsupported output format: $f_arg" >&2 usage_help exit 1 elif [ "$f_arg" != "" ] then format=$f_arg fi if [ "$d_arg" != "" ] && [ ! -d "$d_arg" ] ; then echo "Error! output directory does not exists: $d_arg" >&2 usage_help exit 1 elif [ "$d_arg" != "" ] ; then directory=$d_arg fi if [ "$p_arg" != "" ] && [ "$p_arg" != "fop" ] && [ "$p_arg" != "fop2" ] && [ "$p_arg" != "xep" ] && [ "$p_arg" != "xinc" ] ; then echo "Error! Unsupported XSL-FO processor: $p_arg" >&2 usage_help exit 1 elif [ "$p_arg" != "" ] ; then processor=$p_arg fi if [ "$format" = "a4" ] ; then xsl=$a4_xsl else xsl=$us_xsl fi if ! [ -e "./logtalk_entity.dtd" ] ; then cp "$LOGTALKHOME"/tools/lgtdoc/xml/logtalk_entity.dtd . fi if ! [ -e "./custom.ent" ] ; then cp "$LOGTALKUSER"/tools/lgtdoc/xml/custom.ent . fi if ! [ -e "./logtalk_entity.xsd" ] ; then cp "$LOGTALKHOME"/tools/lgtdoc/xml/logtalk_entity.xsd . fi if grep -q " /dev/null;; *) eval $processor -q -xml \"$file\" -xsl \"$xsl\" -pdf \"$directory/$name.pdf\";; esac done echo "conversion done" echo else echo echo "No XML files exist in the current directory!" echo fi if [ "$PWD" != "$LOGTALKHOME"/xml ] ; then rm -f ./logtalk_entity.dtd rm -f ./logtalk_entity.xsd rm -f ./custom.ent fi exit 0