* Makefile.in (force-info): Remove.
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 17 Apr 2014 06:02:38 +0000 (23:02 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 17 Apr 2014 06:02:38 +0000 (23:02 -0700)
commit8ac457d5edccc6cb72be90f1d8efc7389d1c824c
treeb1c15bd5c25aff9f7e44d178e335fd24a9f858b8
parente51c8d91c2099e993b119447be4f7a859c5bb35e
* Makefile.in (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'.
ChangeLog
Makefile.in