Commit Graph
2 Commits
Author SHA1 Message Date
Diego Herranz 518fb78077 Makefile: add .PHONY targets
Given all the targets are actions instead of files to be generated,
.PHONY should be used, mainly to avoid a conflict with a file of the same name.

See https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html
2019-08-02 06:45:01 +01:00
Diego Herranz 064e09ee02 doc: python3 instead of python
Otherwise, python2 would be used in most systems.
2019-07-02 08:52:01 +01:00