Script to update the doctree

DARIAH-DE · Jul 9, 2016 · 4bbb8e4 · 4bbb8e4
1 parent 4ca88d8
commit 4bbb8e4
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/update-docs.sh b/update-docs.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+mvn clean
+git worktree prune
+if git worktree add target/generated-docs gh-pages
+then
+  mvn verify
+  cd target/generated-docs
+  git commit -a 
+fi