From 6a65722b375c98e0e281b8d7e435f90af69455f8 Mon Sep 17 00:00:00 2001 From: Adrian Sampson Date: Thu, 21 Dec 2017 11:39:08 -0500 Subject: [PATCH] Switch to modd for live docs build --- docs/modd.conf | 7 +++++++ docs/serve.py | 10 ---------- 2 files changed, 7 insertions(+), 10 deletions(-) create mode 100644 docs/modd.conf delete mode 100644 docs/serve.py diff --git a/docs/modd.conf b/docs/modd.conf new file mode 100644 index 000000000..9067700d3 --- /dev/null +++ b/docs/modd.conf @@ -0,0 +1,7 @@ +**/*.rst { + prep: make html +} + +_build/html/** { + daemon: devd -m _build/html +} diff --git a/docs/serve.py b/docs/serve.py deleted file mode 100644 index 2bbf6b623..000000000 --- a/docs/serve.py +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env python -# -*- coding: utf-8 -*- - -from __future__ import division, absolute_import, print_function - -from livereload import Server, shell - -server = Server() -server.watch('*.rst', shell('make html')) -server.serve(root='_build/html')