sage-doc: forgotten makefile