`make dist' succeeds. From Akim Demaille.
+1998-12-03 Tom Tromey <tromey@cygnus.com>
+
+ * automake.in (handle_dist): Print prettier banner when
+ `make dist' succeeds. From Akim Demaille.
+
1998-12-02 Tom Tromey <tromey@cygnus.com>
* configure.in: Upped version to 1.3e (1.3d was just released).
&& $(MAKE) $(AM_MAKEFLAGS) installcheck \\
&& $(MAKE) $(AM_MAKEFLAGS) dist
-rm -rf $(distdir)
- @echo "========================"; \\
- echo "$(distdir).tar.gz is ready for distribution"; \\
- echo "========================"
+ @banner="$(distdir).tar.gz is ready for distribution"; \\
+ dashes=`echo "$$banner" | sed s/./=/g`; \\
+ echo "$$dashes"; \\
+ echo "$$banner"; \\
+ echo "$$dashes"
');
local ($dist_all) = ('dist-all: distdir' . "\n"