Fix doc generation for latest jbuilder + odoc

hcarty · Jun 17, 2018 · f73127f · f73127f
1 parent 0efd8a3
commit f73127f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -24,9 +24,9 @@ gh-pages: doc
 	git -C .gh-pages checkout --orphan gh-pages
 	git -C .gh-pages reset
 	git -C .gh-pages clean -dxf
-	cp  -r _build/default/_doc/* .gh-pages
+	cp  -r _build/default/_doc/_html/* .gh-pages
 	git -C .gh-pages add .
-	git -C .gh-pages config user.email 'docs@endgame'
+	git -C .gh-pages config user.email 'docs@project'
 	git -C .gh-pages commit -m "Update Pages"
 	git -C .gh-pages push origin gh-pages -f
 	rm -rf .gh-pages