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 --- docs/.gitignore | 3 +++ docs/_includes/autoreload-in-debug.html | 46 --------------------------------- docs/_layouts/default.html | 1 - docs/_scripts/serve.sh | 7 ++++- 4 files changed, 9 insertions(+), 48 deletions(-) create mode 100644 docs/.gitignore delete mode 100644 docs/_includes/autoreload-in-debug.html (limited to 'docs') 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