From 8f22b53b18f3f64fee9109c468062ac77b15bc34 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 20 Jul 2019 15:40:17 +0100
Subject: [PATCH] Renamed document-template directory to document-templates.

---
 .../root-eptcs-UNSUPPORTED.tex                                  | 0
 .../root-lipics-v2019-UNSUPPORTED.tex                           | 0
 .../{document-template => document-templates}/root-lncs.tex     | 0
 .../{document-template => document-templates}/root-scrartcl.tex | 0
 .../{document-template => document-templates}/root-scrreprt.tex | 0
 install                                                         | 2 +-
 6 files changed, 1 insertion(+), 1 deletion(-)
 rename document-generator/{document-template => document-templates}/root-eptcs-UNSUPPORTED.tex (100%)
 rename document-generator/{document-template => document-templates}/root-lipics-v2019-UNSUPPORTED.tex (100%)
 rename document-generator/{document-template => document-templates}/root-lncs.tex (100%)
 rename document-generator/{document-template => document-templates}/root-scrartcl.tex (100%)
 rename document-generator/{document-template => document-templates}/root-scrreprt.tex (100%)

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"