Build targets for on-seL4 and not-on-seL4

This allows us to build versions of the website
for running on seL4/LionsOS, and for running on a
more standard webserver.

`make build` builds in _site, `make on_seL4` builds
into _site_on_seL4, and includes any material protected
by an `if site.on_seL4` guard.  Currently that's only in the
template.

Signed-off-by: Peter Chubb <[email protected]>

.gitignore

@@ -2,6 +2,7 @@
 *.swp
 _site
 _preview
+_site_on_seL4
 .sass-cache
 .jekyll-cache
 .jekyll-metadata

Makefile

@@ -6,7 +6,8 @@ SHELL := bash
 MAKEFLAGS += --warn-undefined-variables --no-builtin-rules
 .DELETE_ON_ERROR:
 .SUFFIXES:
-.PHONY: help build serve debug preview clean doctor checklinks update
+.PHONY: help build serve debug preview clean doctor checklinks update \
+	on_seL4
 
 help:
 	@echo -e "Usage: make <target>. Available seL4 website targets:\n\
@@ -40,6 +41,9 @@ preview: JEKYLL_ENV := development
 preview: SERVE_HOST := --config "_config.yml,_preview.yml" $(SERVE_HOST)
 preview: build
 
+on_seL4: SERVE_HOST := --config "_config.yml,_on_seL4.yml"
+on_seL4: build
+
 clean doctor:
 	@bundle exec jekyll $@
 	@rm -rf _preview/*

_config.yml

@@ -6,12 +6,11 @@
 
 title: seL4
 description: "The seL4 main website.  Pull requests are welcome."
-url: "https://beta.sel4.systems"
-static_url: "https://beta.sel4.systems"
+url: "https://sel4.systems"
+static_url: "https://sel4.systems"
 baseurl: "" # the subpath of your site, e.g. /blog
 git_repo: https://github.com/seL4/website
 github_username: seL4
-on_seL4: true
 
 collections:
   - "news-items"

_on_seL4.yml

@@ -0,0 +1,8 @@
+# Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: BSD-2-Clause
+##
+
+url: "https://beta.sel4.systems"
+static_url: "https://beta.sel4.systems"
+on_seL4: true
+destination: _site_on_seL4