2019-12-30 08:24:08 +03:00
|
|
|
#!/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
|
2020-10-10 08:03:59 +03:00
|
|
|
python3 ci/generate-docs.py
|
2019-12-30 08:24:08 +03:00
|
|
|
mdbook build docs
|
|
|
|
|
|
2020-04-07 03:39:57 +03:00
|
|
|
# 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
|
|
|
|
|
|
