Vadim Godunko 05672e93b2 Update list of dependencies. ...

(cherry picked from commit 0c13024e14)

2024-06-24 14:09:02 +00:00

..

gtkada_rm

Rename GNATdoc executable file.

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

gtkada_ug

Update list of dependencies.

2024-06-24 14:09:02 +00: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