2003-01-02 H.J. Lu <hjl@gnu.org>
authorH.J. Lu <hjl.tools@gmail.com>
Thu, 2 Jan 2003 20:51:02 +0000 (20:51 +0000)
committerH.J. Lu <hjl.tools@gmail.com>
Thu, 2 Jan 2003 20:51:02 +0000 (20:51 +0000)
commitb0ff34ea24a7ed191fdf6bb0a1ed8a3fee69801d
treef7b44ecdcf733763e3b77b62de9222b6e23b3d4d
parentf5dbc56d4daff74e671c973363d933c73603d4a0
2003-01-02  H.J. Lu <hjl@gnu.org>

* Makefile.in (DESTDIR): New.
(install-info): Use it.
etc/ChangeLog
etc/Makefile.in