Online documentation and version differences

[Frank Ch. Eigler]

I wrote:

> I am open to moving e.g.  the tutorial and/or the language reference
> paper into the install tree.  A prerequisite would be to move them
> from doc/ to under src/doc/ in the repository.  Ideally, the build
> process should format them, which in turn means having tex etc. as
> buildprereq's in the RPM.

This is now done: $builddir/doc/{tutorial,langref}.pdf are now
present.  Please let me know if the build system modifications break
something for you.

- FChE