sage-doc: forgotten makefile
toplevel: continued