Changes that will probably be redundant, but some work towards getting
this crufty bodge of Makefilery and sed and shell scripts (ugh) to build
sensibly.

Some maintenance to ensure that the sub-manuals and reference manual build
properly (help/src -> help/src-sml). Dropped the references to src/n_bit
and src/word.

The res_quan manual doesn't seem to build on Macs. Some problem with it
failing to make the theories.tex file. (Still works on an old Linux
machine.)

Manuals updated to use charter font, which looks better than
Computer Modern when viewed in PostScript or PDF.

Updated documentation to use LaTeX2e, standard makeindex and the
reinstated Manual directory from the repository.

Initial revision