From 4be242bb3b2fe1c9231df01e67f4d6dc2e10c183 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 30 Apr 2007 10:14:24 +0000 Subject: [PATCH] re PR ada/28953 (Ada: Documentation for gprmake is missing) PR ada/28953 * Makefile.in: No longer build gprmake From-SVN: r124293 --- gnattools/ChangeLog | 5 +++++ gnattools/Makefile.in | 3 +-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index 948b733cf11..d3f4e0608a2 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,8 @@ +2007-04-30 Arnaud Charlet + + PR ada/28953 + * Makefile.in: No longer build gprmake + 2007-03-01 Brooks Moses * Makefile.in: Add dummy install-pdf target. diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index 830fffb93b3..64830a0fd60 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -156,8 +156,7 @@ GNATTOOLS2_FILES = \ ../../gnatxref$(exeext) \ ../../gnatfind$(exeext) \ ../../gnatname$(exeext) \ - ../../gnatclean$(exeext) \ - ../../gprmake$(exeext) + ../../gnatclean$(exeext) # Makefile targets # ----------------