--- info/Makefile.am.orig 2008-03-20 16:25:19.703497000 +0100 +++ info/Makefile.am 2008-03-20 16:26:00.652312000 +0100 @@ -71,7 +71,7 @@ $(srcdir)/footnotes.c $(srcdir)/variables.c # The $(EXEEXT) should be added by Automake, but isn't. Fine. -$(generated_sources): makedoc$(EXEEXT) $(cmd_sources) +funs.h: makedoc$(EXEEXT) $(cmd_sources) rm -f $(generated_sources) $(top_builddir)/$(native_tools)/info/makedoc $(cmd_sources)