docs: include GH pages repo as submodule

2017-08-09 16:18:13 +02:00
parent c1e792dc51
commit e2bbd4287e
3 changed files with 4 additions and 1 deletions
@@ -1,3 +1,6 @@
 [submodule "docs/themes/docdock"]
 	path = docs/themes/docdock
 	url = git@github.com:zrepl/hugo-theme-docdock.git
 [submodule "docs/public"]
 	path = docs/public
 	url = git@github.com:zrepl/zrepl.github.io.git
@@ -1 +0,0 @@
 public/