6 Commits

Author	SHA1	Message	Date
Simounet	33e3eeaec8	Load custom.css only if exists	2020-02-07 13:21:48 +01:00
Jeremy Benoist	29f5515959	Improve check by using list ... See https://stackoverflow.com/a/27335439/569101	2020-01-13 15:58:59 +01:00
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