From a47f5d41295b9b17f171c35c5bb4b908572eeeff Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Sun, 16 Sep 2018 14:22:09 -0700 Subject: [PATCH] doc: fix Makefile to address multiple publishers Need to make sure the local projectacrn.github.io is in sync with the master before starting up the publishing process. Signed-off-by: David B. Kinder --- doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/Makefile b/doc/Makefile index 4632671b7..e9154959a 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -69,6 +69,7 @@ clean: publish: mkdir -p $(PUBLISHDIR) + cd $(PUBLISHDIR)/..; git pull origin master rm -fr $(PUBLISHDIR)/* cp -r $(BUILDDIR)/html/* $(PUBLISHDIR) cp scripts/publish-README.md $(PUBLISHDIR)/../README.md