docs: Replace Makefile based on output of newer sphinx-quickstart.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg
2019-12-02 17:44:54 -08:00
committed by Anders Kaseorg
parent 7d5450917a
commit fdaca911e4
2 changed files with 11 additions and 188 deletions

View File

@@ -1,6 +1,3 @@
#!/usr/bin/env bash
set -eu
cd "$(dirname "$0")"/../docs
rm -rf _build
make html
make -C "$(dirname "$0")"/../docs clean html