| Tue, 14 Mar 2023 18:07:41 +0100 |
Pierre-Yves David |
makefile: get setup tools out of the equation
stable
|
| Fri, 18 Feb 2022 11:55:40 +0100 |
Georges Racinet |
makefile: cleaned up the last hardcoded python calls
stable
|
| Fri, 12 Mar 2021 11:05:20 +0100 |
Pierre-Yves David |
make: default to using python3
stable
|
| Tue, 07 Jul 2020 20:37:07 +0800 |
Anton Shestakov |
makefile: make all non-file targets phony
|
| Tue, 07 Jul 2020 20:10:00 +0800 |
Anton Shestakov |
makefile: remove different version tests, currently it's done via CI
|
| Tue, 07 Jul 2020 19:36:27 +0800 |
Anton Shestakov |
makefile: add doc target, since it's easy enough
|
| Tue, 07 Jul 2020 19:16:12 +0800 |
Anton Shestakov |
makefile: mention install-home in the help output
|
