diff --git a/autocompile.sh b/autocompile.sh deleted file mode 100755 index 6df7c21a71f86c24d5b96b8fd665027699be3995..0000000000000000000000000000000000000000 --- a/autocompile.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash -if [ $1 = clean ]; then - rm *aux *log main.{i,g}* *toc - exit 0 -fi - -if [ $1 = tree ]; then - git subtree -P config pull ../config master && \ - git subtree -P config push ../config core -fi -pdflatex main.tex -pdflatex main.tex -makeindex main.idx -makeglossaries main -pdflatex main.tex diff --git a/autocompile.sh b/autocompile.sh new file mode 120000 index 0000000000000000000000000000000000000000..fc81db84db72aec32971bc4c1d6b91dfa27d8f18 --- /dev/null +++ b/autocompile.sh @@ -0,0 +1 @@ +config/autocompile.sh \ No newline at end of file