Delete out-of-date file references in doc directory.

doc/Mmakefile:
    Delete references to files that no longer exist.