Browse code

add logo building to Makefile

Joseph Weston authored on 08/04/2019 12:55:59
Showing 1 changed files
... ...
@@ -14,7 +14,14 @@ help:
14 14
 
15 15
 .PHONY: help Makefile
16 16
 
17
+source/_static/logo_docs.png: logo.py
18
+	python logo.py
19
+
20
+# Fake target to avoid the catch-all target
21
+logo.py:
22
+	@echo "never executed"
23
+
17 24
 # Catch-all target: route all unknown targets to Sphinx using the new
18 25
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
19
-%: Makefile
26
+%: Makefile source/_static/logo_docs.png
20 27
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
Browse code

add doc files

Bas Nijholt authored on 16/10/2018 18:10:12
Showing 1 changed files
... ...
@@ -17,4 +17,4 @@ help:
17 17
 # Catch-all target: route all unknown targets to Sphinx using the new
18 18
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
19 19
 %: Makefile
20
-	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
21 20
\ No newline at end of file
21
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
Browse code

add barebones documentation pages

Joseph Weston authored on 20/08/2018 17:11:01 • Bas Nijholt committed on 16/10/2018 18:12:39
Showing 1 changed files
1 1
new file mode 100644
... ...
@@ -0,0 +1,20 @@
1
+# Minimal makefile for Sphinx documentation
2
+#
3
+
4
+# You can set these variables from the command line.
5
+SPHINXOPTS    =
6
+SPHINXBUILD   = sphinx-build
7
+SPHINXPROJ    = adaptive
8
+SOURCEDIR     = source
9
+BUILDDIR      = build
10
+
11
+# Put it first so that "make" without argument is like "make help".
12
+help:
13
+	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
14
+
15
+.PHONY: help Makefile
16
+
17
+# Catch-all target: route all unknown targets to Sphinx using the new
18
+# "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
19
+%: Makefile
20
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
0 21
\ No newline at end of file