Elie Richa 246b495554 Document deprecation plan

2025-07-28 13:15:36 +02:00

..

gtkada_rm

Rename GNATdoc executable file.

2023-09-27 17:20:04 +04:00

gtkada_ug

Document deprecation plan

2025-07-28 13:15:36 +02:00

Makefile

Move installation to gprinstall.

2015-06-30 21:01:56 +02:00

texi2html

Fix file permissions.

2009-12-01 18:01:18 +00:00