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