Re: [MirageOS-devel] docs.mirage.io building again

[Martin Lucina <martin@xxxxxxxxxx>]

On Friday, 14.10.2016 at 11:29, Anil Madhavapeddy wrote:
> Good news everyone! The experimental documentation repository at 
> http://docs.mirage.io now builds again, and has been refreshed to the latest 
> set of libraries assembled from the MirageOS3 dev remote at 
> https://github.com/mirage/mirage-dev

Some ideas for UX improvements to the docs pages:

1) Hyperlinks on types. Eg. in functoria/Functoria_app.Cmd.html
"Rresult.result" should link to rresult/Rresult.html.

2) A "Path" nagivation header with the full hierarchy. E.g.
rresult/Result.html currently has "Up", which takes me to the package's
index.page but I can't go "Up" from there.

3) A "Search" box of some sort. Ideally just client-side, search over
packages/modules/types/descriptions?

Martin

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel