From d1637bcafabc5d48caf2cc676968025b91214d72 Mon Sep 17 00:00:00 2001 From: John Logan Date: Mon, 9 Jun 2025 14:51:54 -0700 Subject: [PATCH] Adds base path for GitHub Pages publishing. --- .gitignore | 1 + Makefile | 10 +++++++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index e60a4978..55ad8116 100644 --- a/.gitignore +++ b/.gitignore @@ -27,3 +27,4 @@ vmlinux # API docs for local preview only. _site/ +_serve/ diff --git a/Makefile b/Makefile index bdd8d967..677bf4c9 100644 --- a/Makefile +++ b/Makefile @@ -129,8 +129,11 @@ check-licenses: .PHONY: serve-docs serve-docs: - @echo 'to browse: open http://127.0.0.1:8000/documentation/' - @python3 -m http.server --bind 127.0.0.1 --directory ./_site + @echo 'to browse: open http://127.0.0.1:8000/containerization/documentation/' + @rm -rf _serve + @mkdir -p _serve + @cp -a _site _serve/containerization + @python3 -m http.server --bind 127.0.0.1 --directory ./_serve .PHONY: docs docs: _site @@ -138,7 +141,7 @@ docs: _site _site: @echo Updating API documentation... rm -rf $@ - @scripts/make-docs.sh $@ + @scripts/make-docs.sh $@ containerization .PHONY: cleancontent cleancontent: @@ -150,5 +153,6 @@ clean: @echo Cleaning the build files... @rm -rf bin/ @rm -rf _site/ + @rm -rf _serve/ @$(SWIFT) package clean @"$(MAKE)" -C vminitd clean