From b5953146193db40d019975f113b19d5cebf94895 Mon Sep 17 00:00:00 2001 From: David Wilson Date: Fri, 6 Apr 2018 16:49:54 +0100 Subject: [PATCH] docs: fix intensely annoying _prefix, 2 years later. --- .gitignore | 1 - docs/.gitignore | 1 + docs/Makefile | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 docs/.gitignore diff --git a/.gitignore b/.gitignore index 09a0cb67..458cf82c 100644 --- a/.gitignore +++ b/.gitignore @@ -8,7 +8,6 @@ MANIFEST build/ dist/ -docs/_build htmlcov/ *.egg-info __pycache__/ diff --git a/docs/.gitignore b/docs/.gitignore new file mode 100644 index 00000000..378eac25 --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1 @@ +build diff --git a/docs/Makefile b/docs/Makefile index ce73f29a..bc394d34 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -8,7 +8,7 @@ default: SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = -BUILDDIR = _build +BUILDDIR = build # User-friendly check for sphinx-build ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1)