2023-05-29 07:33:36 -06:00
|
|
|
build: elm append fmt clean
|
|
|
|
|
|
|
|
|
|
fmt: pr-status.pl
|
|
|
|
|
perltidy -b pr-status.pl
|
2023-05-24 20:58:59 -06:00
|
|
|
|
|
|
|
|
elm: src/Main.elm
|
|
|
|
|
elm make --optimize src/Main.elm
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
append:
|
|
|
|
|
sed -i '/<!DOCTYPE HTML>/,$$d' pr-status.pl
|
|
|
|
|
cat index.html >> pr-status.pl
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
clean:
|
|
|
|
|
rm -f index.html
|
2023-06-08 09:48:10 -06:00
|
|
|
rm -f *.bak
|
2023-05-24 20:58:59 -06:00
|
|
|
|
