If the built manual on the web goes away there are no instructions for building it #144
Description
Bootstrap issue: If the built manual on the web goes away, and someone has a bare MPS tree, how can they read the manual? The readme.txt does not lead to instructions for how to build and read it.
Originally posted by @rptb1 in #141 (comment) Raised to an issue because this applies even if we don't merge #141