[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


  • To: Nicolas Ojeda Bar <n.oje.bar@xxxxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Fri, 28 Oct 2016 13:54:56 +0100
  • Cc: Martin Lucina <martin@xxxxxxxxxx>, mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>, Gemma Gordon <gg417@xxxxxxxxxxxx>
  • Delivery-date: Fri, 28 Oct 2016 12:55:13 +0000
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=OLqPQ8uTF3lIZCuPoptVK16oEm3WcD53x5k+SIXoSpqfIaiWlzF NOZA45jRQpeWBs8yc1Y7O2JPKDrVUCctowGDHz+vq6j+R7CNQ4UoHadK+AaC56fA 2YXbMrnESZhb6Er7/bdKrNbazpTLu05kiSR23OgGLcfv96YzgPISPkPY=
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

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.bar@xxxxxxxxx> 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 <anil@xxxxxxxxxx> wrote:
>> On 19 Oct 2016, at 16:57, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>>> 
>>> On 19 Oct 2016, at 10:56, Martin Lucina <martin@xxxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxx
>> https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.