Commit graph

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