Improve web page Makefile (#535).