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

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

  • To: Martin Lucina <martin@xxxxxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Wed, 19 Oct 2016 16:57:03 +0100
  • Cc: Gemma Gordon <gg417@xxxxxxxxxxxx>, mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>
  • Delivery-date: Wed, 19 Oct 2016 15:57:14 +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=K0o2wV/hI24aR4I2Wtn0P/Pr3LhCSnRZEK9UbCbQ8GsXzlJ45m1 78ZYkGlr8vAr/WtLtZSwkF0Km13SBSglZ9Y8lZ9c4bp/t9dAL13BeHEDmRtoVM4k U2dW0GSAOY6Myyx6yWxjLPCMj0Dpb2DAl2ns9bVE5CXmv21zmIb2B1i0=
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

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.

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).


MirageOS-devel mailing list



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