diff options
Diffstat (limited to 'gnattools/ChangeLog')
| -rw-r--r-- | gnattools/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index b507326ba7d..83f30164c06 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,11 @@ +2010-11-20 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> + + PR other/46202 + * Makefile.in (install-strip): New phony target. + (check, installcheck, info, dvi, pdf, html, install) + (install-info, install-pdf, install-html, mostlyclean) + (clean, distclean, maintainer-clean): Mark phony. + 2010-01-09 Simon Wright <simon@pushface.org> PR ada/42659 |
