Start working on porting the doc building system to SML (i.e., not Moscow ML)
to get it working with Poly ML.