diff options
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 |