From 694625737d6a7428606e3b8a2ba9330677edd96c Mon Sep 17 00:00:00 2001 From: Michał Górny Date: Sun, 23 Feb 2020 21:44:08 +0100 Subject: Copy singlehtml into html directory MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michał Górny --- Makefile | 5 ++++- tox.ini | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 5168496..b5027c9 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,10 @@ SPHINXPROJ = GentooPolicyGuide SOURCEDIR = . BUILDDIR = _build -all: html +all: html $(BUILDDIR)/html/combined.html + +$(BUILDDIR)/html/combined.html: singlehtml + cp $(BUILDDIR)/singlehtml/index.html $@ .PHONY: all Makefile diff --git a/tox.ini b/tox.ini index 987da45..faedab9 100644 --- a/tox.ini +++ b/tox.ini @@ -10,4 +10,4 @@ whitelist_externals = make commands = - make {posargs:html} + make {posargs:all} -- cgit v1.2.3-65-gdbad