nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Install internal styles into document-template folder so that they are not listed as ontologies.

This commit is contained in:
Achim D. Brucker 2019-08-03 22:01:41 +01:00
parent 9c7f6f6a28
commit b0a845c2f1
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
install
View File

@ -177,11 +177,12 @@ install_and_register(){
mkdir -p "$DIR"
cp $GEN_DIR/scripts/* "$DIR"
cp $GEN_DIR/document-templates/* "$DIR"
cp $GEN_DIR/DOF/*/*.sty "$DIR"
DIR="$ISABELLE_HOME_USER/DOF/latex"
echo " - Installing LaTeX styles in $DIR"
mkdir -p "$DIR"
cp $GEN_DIR/*/*/*.sty "$DIR"
cp $GEN_DIR/ontologies/*/*.sty "$DIR"
ISABELLE_SHORT_VERSION=`echo $ISABELLE_VERSION | sed -e 's/^Isabelle\(.*\):.*/\1/'`
sed -i -e "s|%%% CONFIG %%%| \

4
src/scripts/build_lib.sh
View File

@ -35,7 +35,7 @@ set -e
ROOT_NAME="root_$NAME"
[ ! -f "$DIR/$ROOT_NAME.tex" ] && ROOT_NAME="root"
if [ ! -f $ISABELLE_HOME_USER/DOF/latex/DOF-core.sty ]; then
if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/DOF-core.sty ]; then
>&2 echo ""
>&2 echo "Error: Isabelle/DOF not installed"
>&2 echo "====="
@ -118,7 +118,7 @@ fi
cp $ROOT root.tex
cp $ISABELLE_HOME_USER/DOF/latex/*.sty .
cp $ISABELLE_HOME_USER/DOF/latex/*.sty .
cp $ISABELLE_HOME_USER/DOF/document-template/*.sty .
# delete outdated aux files from previous runs
rm -f *.aux