Web server + (Annotated) Ada Reference Manual with optional filtering / replacement of navigation bars, key navigation, and local search function.
6 Likes
Hey!
This will help me greatly. Thank you very much.
1 Like
Did anyone manage to download and install that locally?
When I run alr get hostarm
I am getting error: Crate [hostarm] does not exist in the index.
Has the crate name changed from what is mentioned on the gh page, by any chance?
Try running alr index --reset-community
before fetching the crate.
Thanks for the suggestion, tried that but still getting the same error.
I suppose this should sync my local index with the remote one?
Thanks.
I suppose you can also try updating the toolchain, and maybe also the alr
binary itself.
alr toolchain --select
alr index --update-all
Fetching the latest binary worked, thanks!