diff Makefile.in @ 112304:9539682ee916

Use gnulib's ftoastr module.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 08 Jan 2011 17:18:39 -0800
parents c428fb33aede
children 1bd15f32eeb7
line wrap: on
line diff
--- a/Makefile.in	Sat Jan 08 13:19:44 2011 -0800
+++ b/Makefile.in	Sat Jan 08 17:18:39 2011 -0800
@@ -330,7 +330,7 @@
 # Update modules from gnulib, for maintainers, who should have it in
 # $(gnulib_srcdir) (relative to $(srcdir) and should have build tools
 # as per $(gnulib_srcdir)/DEPENDENCIES.
-GNULIB_MODULES = dummy # Just a dummy for now, to establish the mechanism.
+GNULIB_MODULES = ftoastr
 GNULIB_TOOL_FLAGS = \
  --import --no-changelog --no-vc-files --makefile-name=gnulib.mk
 sync-from-gnulib: $(gnulib_srcdir)