There seems to be a $(EXEEXT) missing from makedoc. Confirmed in
texinfo-4.0.tar.gz.
Andrew.
2001-08-17 Andrew Haley <[EMAIL PROTECTED]>
* info/Makefile.in (BUILT_SOURCES): Add $(EXEEXT) to makedoc.
--- Makefile.in Fri Aug 17 15:53:14 2001
+++ Makefile.new Fri Aug 17 15:52:31 2001
@@ -447,7 +447,7 @@
mostlyclean distclean maintainer-clean
-$(BUILT_SOURCES): makedoc $(cmd_sources)
+$(BUILT_SOURCES): makedoc$(EXEEXT) $(cmd_sources)
# This is insufficient. We really need them not to be in the
# distribution in the first place, but it seems Automake does not
# currently allow that.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo