1 |
commit: 694625737d6a7428606e3b8a2ba9330677edd96c |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Feb 23 20:44:08 2020 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Feb 25 15:15:24 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/policy-guide.git/commit/?id=69462573 |
7 |
|
8 |
Copy singlehtml into html directory |
9 |
|
10 |
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> |
11 |
|
12 |
Makefile | 5 ++++- |
13 |
tox.ini | 2 +- |
14 |
2 files changed, 5 insertions(+), 2 deletions(-) |
15 |
|
16 |
diff --git a/Makefile b/Makefile |
17 |
index 5168496..b5027c9 100644 |
18 |
--- a/Makefile |
19 |
+++ b/Makefile |
20 |
@@ -8,7 +8,10 @@ SPHINXPROJ = GentooPolicyGuide |
21 |
SOURCEDIR = . |
22 |
BUILDDIR = _build |
23 |
|
24 |
-all: html |
25 |
+all: html $(BUILDDIR)/html/combined.html |
26 |
+ |
27 |
+$(BUILDDIR)/html/combined.html: singlehtml |
28 |
+ cp $(BUILDDIR)/singlehtml/index.html $@ |
29 |
|
30 |
.PHONY: all Makefile |
31 |
|
32 |
|
33 |
diff --git a/tox.ini b/tox.ini |
34 |
index 987da45..faedab9 100644 |
35 |
--- a/tox.ini |
36 |
+++ b/tox.ini |
37 |
@@ -10,4 +10,4 @@ whitelist_externals = |
38 |
make |
39 |
|
40 |
commands = |
41 |
- make {posargs:html} |
42 |
+ make {posargs:all} |