From f73127fd4f9337789df2a57a334a0954d07953ef Mon Sep 17 00:00:00 2001 From: "Hezekiah M. Carty" Date: Sat, 16 Jun 2018 22:15:56 -0700 Subject: [PATCH] Fix doc generation for latest jbuilder + odoc --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 49cb0f7..d89a4cf 100644 --- 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