From af51a3e178eb7820dfcc90e6b2d026326653df0c Mon Sep 17 00:00:00 2001 From: Rasmus Andersson Date: Thu, 7 Feb 2019 09:38:39 -0800 Subject: website: get rid of home-made autoreload in favor of new livereload feature in jekyll 3.7 --- .gitignore | 3 --- docs/.gitignore | 3 +++ docs/_includes/autoreload-in-debug.html | 46 --------------------------------- docs/_layouts/default.html | 1 - docs/_scripts/serve.sh | 7 ++++- 5 files changed, 9 insertions(+), 51 deletions(-) create mode 100644 docs/.gitignore delete mode 100644 docs/_includes/autoreload-in-debug.html diff --git a/.gitignore b/.gitignore index b2adc00bd..fe5c4df72 100644 --- a/.gitignore +++ b/.gitignore @@ -15,9 +15,6 @@ nohup.out build /_* -/docs/lab/_serve* -/docs/lab/fonts -/docs/_site /githash.txt /src/FontInspector.html diff --git a/docs/.gitignore b/docs/.gitignore new file mode 100644 index 000000000..8c0390504 --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1,3 @@ +/.jekyll-metadata +/_site +/lab/fonts diff --git a/docs/_includes/autoreload-in-debug.html b/docs/_includes/autoreload-in-debug.html deleted file mode 100644 index fa29294b0..000000000 --- a/docs/_includes/autoreload-in-debug.html +++ /dev/null @@ -1,46 +0,0 @@ -{% if site.safe == false %} - - -{% endif %} \ No newline at end of file diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index c1300b70e..3017293a8 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -96,6 +96,5 @@ endfor gtag('config', 'UA-105091131-2'); {% endif %} - {% include autoreload-in-debug.html %} diff --git a/docs/_scripts/serve.sh b/docs/_scripts/serve.sh index 40f310df5..e48fd67db 100755 --- a/docs/_scripts/serve.sh +++ b/docs/_scripts/serve.sh @@ -25,4 +25,9 @@ if [ "$1" != "" ]; then BINDADDR=$1 fi -jekyll serve --limit_posts 20 --watch --host "$BINDADDR" --port 3002 +jekyll serve \ + --incremental \ + --watch \ + --host "$BINDADDR" \ + --port 3002 \ + --livereload -- cgit v1.2.3