diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 19fad45c6d8..9f2de2f9905 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2003-05-02 Chris Demetriou <cgd@broadcom.com> + + * Makefile.tpl: Require "makeinfo" from texinfo 4.2 or later. + * Makefile.in: Regenerate. + 2003-05-02 Wolfgang Bangerth <bangerth@dealii.org> * MAINTAINERS (GNATS only): Add Falk Hueffner. |
