diff options
Diffstat (limited to 'gnattools')
| -rw-r--r-- | gnattools/ChangeLog | 8 | ||||
| -rw-r--r-- | gnattools/Makefile.in | 10 |
2 files changed, 17 insertions, 1 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 diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index 93198967857..3718b30593f 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -1,5 +1,5 @@ # Makefile for gnattools -# Copyright 2003, 2004, 2009 Free Software Foundation, Inc. +# Copyright 2003, 2004, 2009, 2010 Free Software Foundation, Inc. # # This file is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -274,18 +274,24 @@ pdf: # Build HTML (none here). html: +.PHONY: check installcheck info dvi pdf html + # Build TAGS (none here). TAGS: # Installation rules. install: +install-strip: install + install-info: install-pdf: install-html: +.PHONY: install install-strip install-info install-pdf install-html + # Cleaning rules. mostlyclean: @@ -296,6 +302,8 @@ distclean: maintainer-clean: +.PHONY: mostlyclean clean distclean maintainer-clean + # Rules for rebuilding this Makefile. Makefile: $(srcdir)/Makefile.in config.status CONFIG_FILES=$@ ; \ |