Thanks for the pointer Nicolas, I didn't realise that was still under active development! Hooking it into odig should be a fun exercise.
An update on docs.mirage.io: - it is now building again after the latest batch of mirage/mirage-dev changes. Thanks to David Kaloper for lots of hard work on fixing up mirage-entropy and the associated packages. - we now have more packages in there, such as cpuid http://docs.mirage.io/odoc/cpuid/Cpuid/index.html - the odoc backend was temporarily broken but is also now working again; http://docs.mirage.io/odoc/ -- please report any cross-referencing issues on the https://github.com/ocaml-doc repos. As usual, please iterate through the list and try to refresh any older packages to match the odig convention so that we have more metadata in place for LICENSES, CHANGES and versions. This is an ongoing process so I'll keep reminding us all about it :-) regards, Anil > On 21 Oct 2016, at 16:18, Nicolas Ojeda Bar <n.oje....@gmail.com> wrote: > > Re search: > > http://ocamloscope.herokuapp.com/ > > and > > https://twitter.com/camlspotter/status/789416138333573120 > > Cheers! > > - Nicolas > > > On Fri, Oct 21, 2016 at 5:04 PM, Anil Madhavapeddy <a...@recoil.org> wrote: >> On 19 Oct 2016, at 16:57, Anil Madhavapeddy <a...@recoil.org> wrote: >>> >>> On 19 Oct 2016, at 10:56, Martin Lucina <mar...@lucina.net> wrote: >>>> >>>> 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? >>> >>> Thanks Martin! I've updated the tracking issue at >>> https://github.com/mirage/mirage/issues/609 and filed a couple of upstream >>> issues on odig about this. >> >> http://docs.mirage.io is now rebuilding again after the latest set of >> library merges and API changes. There is some temporary breakage in the >> odoc CSS that Thomas Refis and Daniel Bunzli are working on, so just use the >> ocamldoc version for now. >> >>> I'm not quite sure who will handle search across cmt files yet. Is this on >>> the roadmap or want-list for Merlin? (this question is mainly directed at >>> Fred or Gemma, who have been looking at the Merlin feature roadmap >>> recently). >> >> And looking at search more, I'm reasonably sure that this won't happen in >> the short term for docs.mirage.io in odoc -- we should be looking at some >> Merlin or Hoogle-like solution. >> >> Anil >> >> >> _______________________________________________ >> MirageOS-devel mailing list >> MirageOS-devel@lists.xenproject.org >> https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel > > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel _______________________________________________ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
