diff options
author | Rasmus <rasmus@notion.se> | 2022-05-26 21:20:06 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-26 21:20:06 +0300 |
commit | 07960766590650e516a75ce6ceba91b68a5fa551 (patch) | |
tree | f0c82cd40cb68950bf8229d14cbc850fec41e5ba /docs/_scripts | |
parent | 633839ad550073f9d12e6cea7964a30523974b68 (diff) | |
download | inter-07960766590650e516a75ce6ceba91b68a5fa551.tar.xz |
UPM 2048 and opsz axis (#462)
- UPM is adjusted to 2048
- Additional opsz VF axis (multi master) added which will eventually replace the separate Display family
- New tooling that uses fontmake instead of Inter's own fontbuild toolchain. (The old toolchain is still supported, i.e. `make -f Makefile_v1.make ...`)
Diffstat (limited to 'docs/_scripts')
-rwxr-xr-x | docs/_scripts/serve.sh | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/docs/_scripts/serve.sh b/docs/_scripts/serve.sh index aee2fa5c4..817254b21 100755 --- a/docs/_scripts/serve.sh +++ b/docs/_scripts/serve.sh @@ -2,11 +2,13 @@ set -e cd "$(dirname "$0")/.." -if [ "$1" == "-h" ]; then +if [ "$1" = "-h" ]; then echo "usage: $0 [<bindaddr>]" >&2 exit 1 fi +BINDADDR=${1:-127.0.0.1} + if [ ! -s lab/fonts ]; then rm -f lab/fonts ln -fs ../../build/fonts lab/fonts @@ -20,14 +22,7 @@ fi # For live testing with fonts, you'll instead want to use docs/lab/serve.py rm -rf _site -BINDADDR=127.0.0.1 -if [ "$1" != "" ]; then - BINDADDR=$1 -fi - -# --incremental - -jekyll serve \ +bundle exec jekyll serve \ --watch \ --host "$BINDADDR" \ --port 3002 \ |