4 commits

Author	SHA1	Message	Date
Jeremy Benoist	49eb5405de	Ensure ENV is well defined when using make ... This command should fail before calling other commands (which will fail to because the environment is wrong): ``` ENV=toto make install ```	2020-01-13 14:26:10 +01:00
Luc Didry	7a4c375ebf	✨ Allow custom styles system wide ... Should fix #4060	2019-10-11 10:40:25 +02:00
Olivier Mehani	b1574a3987	Make dev depend on build ... Also, run `npm install` before building. Signed-off-by: Olivier Mehani <shtrom@ssji.net>	2019-08-29 21:27:56 +10:00
Olivier Mehani	681e04b060	Makefile fixes for non GNU systems ... * Move `Makefile` to `GNUmakefile`, which GNU `make` picks first * Add `Makefile` so other `make`s forward to `gmake` * Set the `SHELL` variable and let `make` handle the shell Signed-off-by: Olivier Mehani <shtrom@ssji.net>	2018-08-18 18:50:18 +10:00