Makefile tweaks

To completely automate publishing (and ensuring that a fresh website is
produced).