Eric Botcazou 971a2b892a Remove obsolete configure code in gnattools ...

It was recently pointed out that we generate symbolic links to ghost files
when building the GNAT tools, as the mlib-tgt-specific-*.adb files are gone.

gnattools/
	* configure.ac (TOOLS_TARGET_PAIRS): Remove obsolete settings.
	(EXTRA_GNATTOOLS): Likewise.
	* configure: Regenerate.

2023-04-25 10:47:21 +02:00

..

ChangeLog

Daily bump.

2022-09-01 00:17:39 +00:00

configure

Remove obsolete configure code in gnattools

2023-04-25 10:47:21 +02:00

configure.ac

Remove obsolete configure code in gnattools

2023-04-25 10:47:21 +02:00

Makefile.in

Add install-dvi Makefile targets.

2021-10-22 15:43:50 -07:00