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

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

On 14/10/2016 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

Yay!  There is also the one with cross-references using odoc at
http://docs.mirage.io/odoc/ !?

Could you remind what triggers a rebuild (and where are the logs of the
rebuild)?  Inserting a last generated timestamp into the toplevel HTML
output would be useful.


hannes

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