mirror of
https://github.com/wez/wezterm.git
synced 2024-12-20 20:01:38 +03:00
ae5cfec1f4
This is a bit gross, but it works!
14 lines
422 B
Bash
Executable File
14 lines
422 B
Bash
Executable File
#!/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
|
|
|