diff docs/makefile @ 5386:77729ad7cb0c

makefile: make all non-file targets phony
author Anton Shestakov <av6@dwimlabs.net>
date Tue, 07 Jul 2020 20:37:07 +0800
parents 150be007f421
children 6664e9f44bca
line wrap: on
line diff
--- a/docs/makefile	Tue Jul 07 20:10:00 2020 +0800
+++ b/docs/makefile	Tue Jul 07 20:37:07 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/