diff options
author | dzwdz | 2024-03-28 20:00:44 +0100 |
---|---|---|
committer | dzwdz | 2024-03-28 20:00:44 +0100 |
commit | b66860109ee59d3efcd6323c0c48a074122d1e93 (patch) | |
tree | 46c424e595d47ccec1de18e46a71815d2b762ceb /Makefile |
gathering up all the shit i've made so far
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..df17a33 --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +default: + @echo Not doing anything by default to prevent you from messing up a local checkout. + @echo If you are on a local checkout: build this on town, copy over userbar.html and + @echo lastlog.html, and run php -S localhost:8000 + +lastlog: lastlog.c + cc -o lastlog -Wall -Wextra lastlog.c -lm + +.PHONY: userbar.html +userbar.html: userbar.sh + ./userbar.sh > userbar.html + +.PHONY: lastlog.html +lastlog.html: lastlog + ./lastlog > lastlog.html + +index.html: lastlog.html userbar.html + php index.php > index.html |