2021-01-28 06:09:49 +00:00
|
|
|
PREFIX=/usr/local
|
|
|
|
|
INSTALLDIR=$(DESTDIR)$(PREFIX)
|
|
|
|
|
MANDIR=$(INSTALLDIR)/share/man
|
|
|
|
|
|
2021-01-28 06:16:46 +00:00
|
|
|
format:
|
|
|
|
|
./node_modules/prettier/bin-prettier.js --write gmi.css
|
2021-01-28 21:03:30 +00:00
|
|
|
./node_modules/prettier/bin-prettier.js --write *.js !*.min.js
|
2021-01-28 06:16:46 +00:00
|
|
|
|
2021-01-29 06:15:23 +00:00
|
|
|
gmi.min.css: gmi.css
|
|
|
|
|
cat $< | ./node_modules/minify/bin/minify.js --css > $@
|
|
|
|
|
|
2021-01-28 06:09:49 +00:00
|
|
|
gmi-web.1: gmi-web.1.scd
|
|
|
|
|
scdoc < $< > $@
|
|
|
|
|
|
2021-01-29 06:15:23 +00:00
|
|
|
install: gmi.min.css gmi-web.1
|
2021-01-28 06:09:49 +00:00
|
|
|
sudo npm link
|
|
|
|
|
install -Dm644 gmi-web.1 $(MANDIR)/man1/gmi-web.1
|
|
|
|
|
|
|
|
|
|
clean:
|
|
|
|
|
rm -rf gmi.min.* gmi-web.1
|
|
|
|
|
|
2021-01-29 06:15:23 +00:00
|
|
|
.PHONY: install clean
|
