2.1.5; documentation build failure

[Werner Koch]

On Mon, 15 Jun 2015 14:47, ueno at gnu.org said:

> the dependencies, or maybe add defs.inc to BUILT_SOURCES, which should
> be built before other rules (it works fine here).

Adding extra dependencies to info files is unfortunately not supported.
See the long comment in the automake source about building info files in
the build dir.  Because I do not want to override the default
{info,html,pdf} rules I have added defs.inc to BUILT_SOURCES which
should do the trick.


Salam-Shalom,

   Werner

-- 
Die Gedanken sind frei.  Ausnahmen regelt ein Bundesgesetz.