1 files changed, 2 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index a419cba153b..c145829152f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,8 +1,9 @@
 2014-04-17  Paul Eggert  <eggert@cs.ucla.edu>
-        * Makefile.in (FRC): Remove.
+        * Makefile.in (FRC, force-info): Remove.
        All uses removed.  This hack is no longer needed here
        now that we can assume GNU Make's .PHONY feature works.
+        (bootstrap): No need to make 'info', since 'all' now implies 'info'.
 2014-04-16  Eli Zaretskii  <eliz@gnu.org>

diff --git a/ChangeLog b/ChangeLog index a419cba153b..c145829152f 100644 --- a/ChangeLog +++ b/ChangeLog
@@ -1,8 +1,9 @@
1	2014-04-17 Paul Eggert <eggert@cs.ucla.edu>	1	2014-04-17 Paul Eggert <eggert@cs.ucla.edu>
2		2
3	* Makefile.in (FRC): Remove.	3	* Makefile.in (FRC, force-info): Remove.
4	All uses removed. This hack is no longer needed here	4	All uses removed. This hack is no longer needed here
5	now that we can assume GNU Make's .PHONY feature works.	5	now that we can assume GNU Make's .PHONY feature works.
		6	(bootstrap): No need to make 'info', since 'all' now implies 'info'.
6		7
7	2014-04-16 Eli Zaretskii <eliz@gnu.org>	8	2014-04-16 Eli Zaretskii <eliz@gnu.org>
8		9