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