diff --git a/document-generator/document-template/root-eptcs-UNSUPPORTED.tex b/document-generator/document-templates/root-eptcs-UNSUPPORTED.tex similarity index 100% rename from document-generator/document-template/root-eptcs-UNSUPPORTED.tex rename to document-generator/document-templates/root-eptcs-UNSUPPORTED.tex diff --git a/document-generator/document-template/root-lipics-v2019-UNSUPPORTED.tex b/document-generator/document-templates/root-lipics-v2019-UNSUPPORTED.tex similarity index 100% rename from document-generator/document-template/root-lipics-v2019-UNSUPPORTED.tex rename to document-generator/document-templates/root-lipics-v2019-UNSUPPORTED.tex diff --git a/document-generator/document-template/root-lncs.tex b/document-generator/document-templates/root-lncs.tex similarity index 100% rename from document-generator/document-template/root-lncs.tex rename to document-generator/document-templates/root-lncs.tex diff --git a/document-generator/document-template/root-scrartcl.tex b/document-generator/document-templates/root-scrartcl.tex similarity index 100% rename from document-generator/document-template/root-scrartcl.tex rename to document-generator/document-templates/root-scrartcl.tex diff --git a/document-generator/document-template/root-scrreprt.tex b/document-generator/document-templates/root-scrreprt.tex similarity index 100% rename from document-generator/document-template/root-scrreprt.tex rename to document-generator/document-templates/root-scrreprt.tex diff --git a/install b/install index 59f613b..1189658 100755 --- a/install +++ b/install @@ -180,7 +180,7 @@ install_and_register(){ echo " - Installing document templates in $DIR" mkdir -p "$DIR" cp $GEN_DIR/scripts/* "$DIR" - cp $GEN_DIR/document-template/* "$DIR" + cp $GEN_DIR/document-templates/* "$DIR" DIR="$ISABELLE_HOME_USER/DOF/latex" echo " - Installing LaTeX styles in $DIR"