From 1d48fb810f5b19e7e10fabb463ab8ba23e04439a Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 27 Mar 2022 11:01:20 +0100 Subject: [PATCH] Updated messages to users and removed outdated checks. --- .../root-eptcs-UNSUPPORTED.tex | 8 ++--- .../root-lipics-v2019-UNSUPPORTED.tex | 9 ++--- .../root-lipics-v2021-UNSUPPORTED.tex | 9 ++--- src/document-templates/root-lncs.tex | 9 ++--- src/document-templates/root-scrartcl.tex | 9 ++--- .../root-scrreprt-modern.tex | 9 ++--- src/document-templates/root-scrreprt.tex | 9 ++--- .../root-svjour3-UNSUPPORTED.tex | 9 ++--- src/scripts/build | 9 ++--- src/scripts/build_lib.sh | 34 ------------------- 10 files changed, 26 insertions(+), 88 deletions(-) diff --git a/src/document-templates/root-eptcs-UNSUPPORTED.tex b/src/document-templates/root-eptcs-UNSUPPORTED.tex index 41a271e..8617290 100755 --- a/src/document-templates/root-eptcs-UNSUPPORTED.tex +++ b/src/document-templates/root-eptcs-UNSUPPORTED.tex @@ -40,11 +40,9 @@ \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone " - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see } + the Isabelle_DOF component from: + + }{For further help, see } } \newcommand{\subtitle}[1]{% diff --git a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex index 7437e72..f6e4e8e 100755 --- a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex +++ b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex @@ -34,12 +34,9 @@ \IfFileExists{DOF-core.sty}{}{% \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone " - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see } + the Isabelle_DOF component from: + + }{For further help, see } } diff --git a/src/document-templates/root-lipics-v2021-UNSUPPORTED.tex b/src/document-templates/root-lipics-v2021-UNSUPPORTED.tex index e809da7..d105d55 100755 --- a/src/document-templates/root-lipics-v2021-UNSUPPORTED.tex +++ b/src/document-templates/root-lipics-v2021-UNSUPPORTED.tex @@ -34,12 +34,9 @@ \IfFileExists{DOF-core.sty}{}{% \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF" - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF} + the Isabelle_DOF component from: + + }{For further help, see } } diff --git a/src/document-templates/root-lncs.tex b/src/document-templates/root-lncs.tex index cabec17..840364a 100755 --- a/src/document-templates/root-lncs.tex +++ b/src/document-templates/root-lncs.tex @@ -35,12 +35,9 @@ \IfFileExists{DOF-core.sty}{}{% \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone " - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see } + the Isabelle_DOF component from: + + }{For further help, see } } \input{ontologies} \IfFileExists{preamble.tex}{\input{preamble.tex}}{}% diff --git a/src/document-templates/root-scrartcl.tex b/src/document-templates/root-scrartcl.tex index 2113751..ce6d2ee 100755 --- a/src/document-templates/root-scrartcl.tex +++ b/src/document-templates/root-scrartcl.tex @@ -34,12 +34,9 @@ \IfFileExists{DOF-core.sty}{}{% \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone " - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see } + the Isabelle_DOF component from: + + }{For further help, see } } \input{ontologies} \IfFileExists{preamble.tex}{\input{preamble.tex}}{}% diff --git a/src/document-templates/root-scrreprt-modern.tex b/src/document-templates/root-scrreprt-modern.tex index 38a3199..ef7e6e0 100755 --- a/src/document-templates/root-scrreprt-modern.tex +++ b/src/document-templates/root-scrreprt-modern.tex @@ -55,12 +55,9 @@ \IfFileExists{DOF-core.sty}{}{% \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone " - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see } + the Isabelle_DOF component from: + + }{For further help, see } } \input{ontologies} \IfFileExists{preamble.tex}{\input{preamble.tex}}{}% diff --git a/src/document-templates/root-scrreprt.tex b/src/document-templates/root-scrreprt.tex index a7dbcf4..65b2c29 100755 --- a/src/document-templates/root-scrreprt.tex +++ b/src/document-templates/root-scrreprt.tex @@ -34,12 +34,9 @@ \IfFileExists{DOF-core.sty}{}{% \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone " - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see } + the Isabelle_DOF component from: + + }{For further help, see } } \input{ontologies} \IfFileExists{preamble.tex}{\input{preamble.tex}}{}% diff --git a/src/document-templates/root-svjour3-UNSUPPORTED.tex b/src/document-templates/root-svjour3-UNSUPPORTED.tex index 757cf78..25ed0fa 100755 --- a/src/document-templates/root-svjour3-UNSUPPORTED.tex +++ b/src/document-templates/root-svjour3-UNSUPPORTED.tex @@ -38,12 +38,9 @@ \IfFileExists{DOF-core.sty}{}{% \PackageError{DOF-core}{Isabelle/DOF not installed. This is a Isabelle_DOF project. The document preparation requires - the Isabelle_DOF framework. Please obtain the framework by cloning - the Isabelle_DOF git repository, i.e.: - "git clone " - You can install the framework as follows: - "cd Isabelle_DOF/document-generator && ./install"}{% - For further help, see } + the Isabelle_DOF component from: + + }{For further help, see } } \input{ontologies} \IfFileExists{preamble.tex}{\input{preamble.tex}}{}% diff --git a/src/scripts/build b/src/scripts/build index c6aeaad..ea1b91f 100755 --- a/src/scripts/build +++ b/src/scripts/build @@ -33,13 +33,8 @@ if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/build_lib.sh ]; then >&2 echo "Error: Isabelle/DOF not installed" >&2 echo "=====" >&2 echo "This is a Isabelle/DOF project. The document preparation requires" - >&2 echo "the Isabelle/DOF framework. Please obtain the framework by cloning" - >&2 echo "the Isabelle/DOF git repository, i.e.: " - >&2 echo " git clone " - >&2 echo "You can install the framework as follows:" - >&2 echo " cd Isabelle_DOF/document-generator" - >&2 echo " ./install" - >&2 echo "" + >&2 echo "the Isabelle/DOF component from:" + >&2 echo "" exit 1 fi diff --git a/src/scripts/build_lib.sh b/src/scripts/build_lib.sh index e34ddd1..9e8e8f6 100755 --- a/src/scripts/build_lib.sh +++ b/src/scripts/build_lib.sh @@ -35,21 +35,6 @@ set -e ROOT_NAME="root_$NAME" [ ! -f "$DIR/$ROOT_NAME.tex" ] && ROOT_NAME="root" -if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/DOF-core.sty ]; then - >&2 echo "" - >&2 echo "Error: Isabelle/DOF not installed" - >&2 echo "=====" - >&2 echo "This is a Isabelle/DOF project. The document preparation requires" - >&2 echo "the Isabelle/DOF framework. Please obtain the framework by cloning" - >&2 echo "the Isabelle/DOF git repository, i.e.: " - >&2 echo " git clone " - >&2 echo "You can install the framework as follows:" - >&2 echo " cd Isabelle_DOF/document-generator" - >&2 echo " ./install" - >&2 echo "" - exit 1 -fi - if [ -f "$DIR/$ROOT_NAME.tex" ]; then >&2 echo "" >&2 echo "Error: Found root file ($DIR/$ROOT_NAME.tex)" @@ -61,25 +46,6 @@ if [ -f "$DIR/$ROOT_NAME.tex" ]; then exit 1 fi -if [ -f "$DIR/ontologies.tex" ]; then - >&2 echo "" - >&2 echo "Error: Old project setup, found a ontologies file ($DIR/ontologies.tex)" - >&2 echo "=====" - >&2 echo "Isabelle/DOF does no longer support the use of $DIR/ontologies.tex. The" - >&2 echo "required ontologies should be defined in $DIR/isadof.cfg." - >&2 echo "" - exit 1 -fi - -if [ -f "$DIR/$ROOT_NAME.tex" ]; then - >&2 echo "" - >&2 echo "Error: Found root file ($DIR/$ROOT_NAME.tex)" - >&2 echo "=====" - >&2 echo "Isabelle/DOF does not make use of the Isabelle root file mechanism." - >&2 echo "Please check your Isabelle/DOF setup." - exit 1 -fi - if [ ! -f isadof.cfg ]; then >&2 echo "" >&2 echo "Error: Isabelle/DOF document setup not correct"