wezterm/ci/build-docs.sh

#!/bin/bash

[[ -f /tmp/wezterm.releases.json ]] || curl https://api.github.com/repos/wez/wezterm/releases > /tmp/wezterm.releases.json
python3 ci/subst-release-info.py
mdbook build docs

# mdBook can append js includes but it is too late to register syntax
# highlighting extensions, so we apply brute force here

mv gh_pages/book.js gh_pages/book.2
cat docs/lua.js gh_pages/book.2 > gh_pages/book.js
rm gh_pages/book.2