diff options
Diffstat (limited to 'gnattools/ChangeLog')
| -rw-r--r-- | gnattools/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index 1a0baa3d470..c8ee8e847d1 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,7 @@ +2006-06-03 Carlos O'Donell <carlos@codesourcery.com> + + * Makefile.in: Add html and install-html targets. + 2005-03-09 Arnaud Charlet <charlet@adacore.com> * Makefile.in: Fix incorrect use of ' in shell command |