From 68469f0b88c9d831a39b4494d0d42383aa87e3fd Mon Sep 17 00:00:00 2001 From: Ariel Kellison Date: Fri, 13 Mar 2026 09:41:56 -0400 Subject: [PATCH] Add gh-pages checkout in make publish --- Makefile.coq.local | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.coq.local b/Makefile.coq.local index e8b7717..f6d97cc 100644 --- a/Makefile.coq.local +++ b/Makefile.coq.local @@ -10,7 +10,7 @@ html2: html index.html cp index.html html/index.html publish: html2 cdocs - cd gh-pages; git submodule update + cd gh-pages; git submodule update; git checkout gh-pages cd gh-pages; rm -rf docs; mkdir docs cp html/* gh-pages/docs cp -R cdoc/*.html cdoc/*_files gh-pages/docs