Put an up-to-date Makefile in docs/Makefile