diff options
Diffstat (limited to 'libada/Makefile.in')
| -rw-r--r-- | libada/Makefile.in | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/libada/Makefile.in b/libada/Makefile.in index 01fa836..cd51823 100644 --- a/libada/Makefile.in +++ b/libada/Makefile.in @@ -1,5 +1,5 @@ # Makefile for libada. -# 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 @@ -19,7 +19,7 @@ all: gnatlib $(MULTIDO) $(AM_MAKEFLAGS) DO=all multi-do # $(MAKE) -.PHONY: all install +.PHONY: all ## Multilib support variables. MULTISRCTOP = @@ -144,16 +144,22 @@ html: # Build TAGS (none here). TAGS: +.PHONY: check installcheck info dvi pdf html + # Installation rules. install: install-gnatlib $(MULTIDO) $(AM_MAKEFLAGS) DO=install multi-do # $(MAKE) +install-strip: install + install-info: install-pdf: install-html: +.PHONY: install install-strip install-info install-pdf install-html + # Cleaning rules. mostlyclean: $(MULTICLEAN) $(AM_MAKEFLAGS) DO=mostlyclean multi-clean # $(MAKE) @@ -167,6 +173,8 @@ distclean: maintainer-clean: +.PHONY: mostlyclean clean distclean maintainer-clean + # Rules for rebuilding this Makefile. Makefile: $(srcdir)/Makefile.in config.status CONFIG_FILES=$@ ; \ |