Re: Shipping generated file from generated generator

[Akim Demaille]

>>> "Stepan" == Stepan Kasal <address@hidden> writes:

 > I guess the following should fix it:

 > $(generated_sources): $(makedoc_SOURCES) $(cmd_sources)
 >      make $(AM_MAKEFLAGS) makedoc$(EXEEXT)

$(MAKE)

 >      rm -f $(generated_sources)
 >      ./makedoc $(cmd_sources)

 > This way the generated_sources shouldn't be regenerated, if they are new
 > enough.


 >> Hm, reading more carefully, I see no connection between the
 >> generated_sources and what they are used to.

 > The dependency of the wole program on eg. key.c is done by the automake
 > variable infokey_SOURCES.

Ah, I was looking for generated_sources itself, not its contents.

 >> Also, I see no provision to generate these files in srcdir.  Are you
 >> really sure you ship and use them?

 > I guess ``make dist'' was always called in the main tree, so this
 > was not a problem. [*]

Nope, it was: distcheck always does a src != build configuration.
Unless distcheck was never used (booh :).