+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