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@lists.xenproject.org https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel