From 731ba1c1e415b3f3469d387d251dd33af44256fc Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 13 Aug 2019 09:46:20 +0100 Subject: [PATCH] Use Isabelle/DOF URL from config file. --- install | 1 + src/document-templates/root-eptcs-UNSUPPORTED.tex | 4 ++-- src/document-templates/root-lipics-v2019-UNSUPPORTED.tex | 4 ++-- src/document-templates/root-lncs.tex | 4 ++-- src/document-templates/root-scrartcl.tex | 4 ++-- src/document-templates/root-scrreprt-modern.tex | 4 ++-- src/document-templates/root-scrreprt.tex | 4 ++-- src/scripts/build | 2 +- src/scripts/build_lib.sh | 2 +- 9 files changed, 15 insertions(+), 14 deletions(-) diff --git a/install b/install index 3133b5f..18544ff 100755 --- a/install +++ b/install @@ -232,6 +232,7 @@ install_and_register(){ echo 'ISABELLE_TOOLS=$ISABELLE_TOOLS:$ISABELLE_HOME_USER/DOF/Tools' \ >> "$DIR/settings" fi + sed -i -e "s||$DOF_URL|" $ISABELLE_HOME_USER/DOF/*/* grep -q $PWD\$ $ISABELLE_HOME_USER/ROOTS || echo "$PWD" >> $ISABELLE_HOME_USER/ROOTS } diff --git a/src/document-templates/root-eptcs-UNSUPPORTED.tex b/src/document-templates/root-eptcs-UNSUPPORTED.tex index 7259a50..55fe420 100644 --- a/src/document-templates/root-eptcs-UNSUPPORTED.tex +++ b/src/document-templates/root-eptcs-UNSUPPORTED.tex @@ -39,10 +39,10 @@ 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" + "git clone " 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} + 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 7340184..b43da51 100644 --- a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex +++ b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex @@ -35,10 +35,10 @@ 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" + "git clone " 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} + For further help, see } } diff --git a/src/document-templates/root-lncs.tex b/src/document-templates/root-lncs.tex index 0e76c47..efbd393 100644 --- a/src/document-templates/root-lncs.tex +++ b/src/document-templates/root-lncs.tex @@ -39,10 +39,10 @@ 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" + "git clone " 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} + 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 7624ccc..8ed5a07 100644 --- a/src/document-templates/root-scrartcl.tex +++ b/src/document-templates/root-scrartcl.tex @@ -34,10 +34,10 @@ 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" + "git clone " 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} + 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 974754f..d30da35 100644 --- a/src/document-templates/root-scrreprt-modern.tex +++ b/src/document-templates/root-scrreprt-modern.tex @@ -55,10 +55,10 @@ 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" + "git clone " 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} + 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 dd6c646..c892a40 100644 --- a/src/document-templates/root-scrreprt.tex +++ b/src/document-templates/root-scrreprt.tex @@ -34,10 +34,10 @@ 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" + "git clone " 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} + For further help, see } } \input{ontologies} \IfFileExists{preamble.tex}{\input{preamble.tex}}{}% diff --git a/src/scripts/build b/src/scripts/build index 71e478a..c6aeaad 100755 --- a/src/scripts/build +++ b/src/scripts/build @@ -35,7 +35,7 @@ if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/build_lib.sh ]; then >&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 https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF" + >&2 echo " git clone " >&2 echo "You can install the framework as follows:" >&2 echo " cd Isabelle_DOF/document-generator" >&2 echo " ./install" diff --git a/src/scripts/build_lib.sh b/src/scripts/build_lib.sh index 606a0f2..e6b8861 100755 --- a/src/scripts/build_lib.sh +++ b/src/scripts/build_lib.sh @@ -42,7 +42,7 @@ if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/DOF-core.sty ]; then >&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 https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF" + >&2 echo " git clone " >&2 echo "You can install the framework as follows:" >&2 echo " cd Isabelle_DOF/document-generator" >&2 echo " ./install"