docs/Makefile.am

[Bastian M. <bma...@we...>]

It looks to me like docs/Makefile.am contains a hard-coded copy
of the contents of src/makefile.all (which is auto-generated).  Is
there a reason not to just 'include' src/makefile.all?

   Bastian