[Bug ada/13572] Inappropriate files installed in $(prefix)/share/make/

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2004-01-07 11:48 -------
I agree with the two constructive suggestions made in this PR by Joseph.
These changes will be made soon, using prefix/share/gnat

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |charlet at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13572