Use mkdocs for publishing to github pages

groupon · Oct 24, 2015 · 0b8d508 · 0b8d508
1 parent 107adb2
commit 0b8d508
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/.gitignore b/.gitignore
@@ -21,3 +21,4 @@ src/main/webapp/js/*dotci.js.map
 _book
 src/main/webapp/webcomponent-imports-vulcanized.html
 src/main/webapp/css/dotci.css
+site/
diff --git a/Makefile b/Makefile
@@ -1,14 +1,12 @@
 publish:
-	cd docs;\
-	rm -rf _book;\
-	gitbook build;\
-	cd ..;\
+	rm -rf site;\
+	mkdocs build;\
 	git checkout gh-pages;\
-	cp -R docs/_book/* .;\
+	cp -R site/* .;\
 	git add --all;\
 	git commit -am "Update docs";\
 	git push -f;\
 	git checkout master
 serve: 
-	cd docs && gitbook serve	
+	mkdocs serve