[gentoo-commits] proj/policy-guide:master commit in: /

[Michał Górny]

commit:     694625737d6a7428606e3b8a2ba9330677edd96c
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 23 20:44:08 2020 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Tue Feb 25 15:15:24 2020 +0000
URL:        https://gitweb.gentoo.org/proj/policy-guide.git/commit/?id=69462573

Copy singlehtml into html directory

Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

 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}