Another round of updates and the new http://docs.mirage.io is now deployed with new packages for: - charrua-unix - cpuid - hkdf - jenga - logs-syslog - mirage-block-ccm - mirage-logs - mirage-os-shim - mirage-stdlib-random - ocb-stubblr - otr - pbkdf - scrypt-kdf - syslog-message
The tracking issue for bugs/features for docs is: https://github.com/mirage/mirage/issues/609 New bugs in there since the last round are support for ppx in interface files (which seems to break things right now) and the 404s for CHANGES/README (thanks Hannes for noticing). If your request isnt on that list (aside from search, which is a bigger issue), please comment on there. thanks Anil > On 28 Oct 2016, at 13:54, Anil Madhavapeddy <a...@recoil.org> wrote: > > 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 _______________________________________________ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
