From f19e301c81fb7d2f3dd606a2c142e621f4f8aecf Mon Sep 17 00:00:00 2001 From: Christoph Berg Date: Mon, 25 Jun 2018 15:02:32 +0200 Subject: [PATCH] debian: Build sphinx docs While we are at it, remove built docs on clean --- Makefile | 2 +- debian/rules | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b99e727..2607239 100644 --- a/Makefile +++ b/Makefile @@ -70,7 +70,7 @@ DEBUILD_ROOT = /tmp/pgloader all: $(PGLOADER) clean: - rm -rf $(LIBS) $(QLDIR) $(MANIFEST) $(BUILDAPP) $(PGLOADER) + rm -rf $(LIBS) $(QLDIR) $(MANIFEST) $(BUILDAPP) $(PGLOADER) docs/_build $(QLDIR)/local-projects/qmynd: git clone --depth 1 https://github.com/qitab/qmynd.git $@ diff --git a/debian/rules b/debian/rules index 678334d..54638d8 100755 --- a/debian/rules +++ b/debian/rules @@ -34,6 +34,7 @@ override_dh_auto_build: --dynamic-space-size $(SIZE) \ --compress-core \ --output build/bin/pgloader + $(MAKE) -C docs html override_dh_auto_test: # no nothing