>>> "Stepan" == Stepan Kasal <[EMAIL PROTECTED]> 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 :).
