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-28 06:09:49 +00:00
|
|
|
gmi-web.1: gmi-web.1.scd
|
|
|
|
scdoc < $< > $@
|
|
|
|
|
|
|
|
install: gmi-web.1
|
|
|
|
sudo npm link
|
|
|
|
install -Dm644 gmi-web.1 $(MANDIR)/man1/gmi-web.1
|
|
|
|
|
|
|
|
minify:
|
2021-01-26 18:18:18 +00:00
|
|
|
cat gmi.css | ./node_modules/minify/bin/minify.js --css > gmi.min.css
|
|
|
|
cat gmi.js | ./node_modules/minify/bin/minify.js --js > gmi.min.js
|
2021-01-28 06:09:49 +00:00
|
|
|
|
|
|
|
clean:
|
|
|
|
rm -rf gmi.min.* gmi-web.1
|
|
|
|
|
|
|
|
.PHONY: install
|