From e1fa3794eb8e912cf67ab7a4e2943c60bea564b3 Mon Sep 17 00:00:00 2001 From: Yaoxing Date: Fri, 5 May 2017 12:37:09 +0800 Subject: [PATCH] Update repos.json * use giza to compile document --- github-hook/repos.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/github-hook/repos.json b/github-hook/repos.json index d0ba6df..cdea301 100644 --- a/github-hook/repos.json +++ b/github-hook/repos.json @@ -4,8 +4,8 @@ "action": [ ["git", "pull", "origin", "master"], ["echo", "pull completed!"], ["/opt/docs-addon/scripts/checkpo"], ["/opt/docs-addon/scripts/stats.py"], - ["make" , "html-zh"], + ["giza", "make" , "html-zh"], ["/opt/docs-addon/scripts/stats.py"] ] } -} \ No newline at end of file +}