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.