Make sure that “..” is handled in verbatim blocks as well as inline

Remove -- from doc-files.

Thanks to Andreas for pointing this out.

Allow for emphasis in .doc files by using *-delimiters

Adjust .doc processors to die with more information

In Poly/ML at least, you need to explicitly catch and do something with
exceptions. Otherwise, the process quietly dies with an error exit code.

Handle Docfile parsing exception better.

This is important because Poly's behaviour is to silently exit with a
success code (at least in generated executables).

Add a 'be verbose' flag to Doc2Tex.

Removed trailing whitespace from all .sml and .sig files.

This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!

Got the help build system working on PolyML.

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