Use Tony Garnock-Jones style makefile for gh-pages.