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.


MirageOS-devel mailing list

Reply via email to