Installing GNATdoc

If you use alr install to install gnatdoc 24.0.0, some important files will be left out.

Assuming you’ve installed to the standard place ($HOME/.alire), then from the gnatdoc crate

cp -pR share/gnatdoc $HOME/.alire/share

I haven’t filed an issue upstream because it’s already fixed there.

4 Likes