From 4634c7a9b84e4d5299af66f7cacda8750e213ce7 Mon Sep 17 00:00:00 2001 From: Adrian Sampson Date: Mon, 25 Jan 2016 13:19:26 -0800 Subject: [PATCH] Add new livereload server for docs --- docs/Makefile | 4 ---- docs/refresh_safari.js | 19 ------------------- docs/serve.py | 5 +++++ 3 files changed, 5 insertions(+), 23 deletions(-) delete mode 100644 docs/refresh_safari.js create mode 100644 docs/serve.py diff --git a/docs/Makefile b/docs/Makefile index fd1707f27..f940dd931 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -38,10 +38,6 @@ help: @echo " linkcheck to check all external links for integrity" @echo " doctest to run all doctests embedded in the documentation (if enabled)" -# My magical rebuilding, Safari-reloading auto target. -auto: - watchmedo shell-command --patterns='*.rst' --ignore-pattern='_build/*' --recursive --command='if [ "$${watch_event_type}" == "created" -o "$${watch_event_type}" == "modified" ]; then make html ; osascript -l JavaScript refresh_safari.js; fi' --wait - clean: -rm -rf $(BUILDDIR)/* diff --git a/docs/refresh_safari.js b/docs/refresh_safari.js deleted file mode 100644 index 7f5cc0ccc..000000000 --- a/docs/refresh_safari.js +++ /dev/null @@ -1,19 +0,0 @@ -var safari = Application('com.apple.Safari'); - -for (var i = 0; i < safari.windows.length; ++i) { - var win = safari.windows[i]; - var tabs = win.tabs; - if (Object.keys(tabs).length) { - for (var j = 0; j < win.tabs.length; ++j) { - var tab = win.tabs[j]; - var url = tab.url(); - if (url.indexOf("file:") == 0) { - // A local file URL. - safari.doJavaScript("location.reload();", { in: tab }); - console.log(url); - } - } - } -} - -'done'; diff --git a/docs/serve.py b/docs/serve.py new file mode 100644 index 000000000..48673ea8d --- /dev/null +++ b/docs/serve.py @@ -0,0 +1,5 @@ +#!/usr/bin/env python +from livereload import Server, shell +server = Server() +server.watch('*.rst', shell('make html')) +server.serve(root='_build/html')