diff docs/makefile @ 5623:fe31179e1941 stable

branching: merge into stable in preparation for release
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 31 Oct 2020 17:25:32 +0800
parents 187bd6ade465
children 398a3f0ca07a
line wrap: on
line diff
--- a/docs/makefile	Sat Oct 31 02:36:21 2020 +0800
+++ b/docs/makefile	Sat Oct 31 17:25:32 2020 +0800
@@ -1,5 +1,6 @@
 SPHINXBUILD ?= sphinx-build
 
+.PHONY: all
 all: tutorials/tutorial.rst tutorials/topic-tutorial.rst static/logo-evolve.ico
 	$(SPHINXBUILD) . ../html/
 
@@ -10,4 +11,11 @@
 	python test2rst.py tutorials/
 
 static/logo-evolve.ico: static/logo-evolve.svg
-	convert -resize 36x36 static/logo-evolve.svg static/logo-evolve.ico
+	convert -resize 36x36 $< $@
+
+.PHONY: clean
+clean:
+	rm -rf ../html
+	rm -f static/logo-evolve.ico
+	rm -f tutorials/tutorial.rst
+	rm -f tutorials/topic-tutorial.rst