From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 025D07F029 for ; Thu, 29 Sep 2016 17:13:44 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AfY5doRAs11TvpGXgUbATUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP78r8bcNUDSrc9gkEXOFd2CrakV0ayP4uuwAyQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09?= =?us-ascii?q?fr2zQd+IyZ3mnLDos7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJce?= =?us-ascii?q?kFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWduD2dgyMTttBTH?= =?us-ascii?q?eiEb4GkYUy1CnhNOAgXBqhvnU5HjtirSu/Bn0TWbJND7C7s0D2eM9aBuHTbuiS?= =?us-ascii?q?NPEjc18GjJg9R9gK5K6EaooR1765TZa4aUMLx5ZKyLLoBSfnZIQssED38JOYi7?= =?us-ascii?q?dYZaSrNZZes=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AeAQDTLu1X/zPhmQVdGQEBAQEBAQEBA?= =?us-ascii?q?QEBBwEBAQEBFQEBAQECAQEBAQgBAQEBgxQBAQEBAR5XE2mNMpZ9lCOCBhkLgkS?= =?us-ascii?q?CbEoCgWA4FAEBAQEBAQEBAQEBXSeCMgQBFQEEghABAQEDAQEBASAdAwEqCwEBA?= =?us-ascii?q?wsLGAICHwcCAicBLwYTiEUMAQmvMmeESQcCiB8BAQEBAQUBAQEBAQEBARYBCIE?= =?us-ascii?q?Ghy6CWIREY4IhK4ISHY46i0KGJ4VSg3dngQdOhBiDFIYGhwqBa4NkE4N9HjaDU?= =?us-ascii?q?YE5cYYFgUEBAQE?= X-IPAS-Result: =?us-ascii?q?A0AeAQDTLu1X/zPhmQVdGQEBAQEBAQEBAQEBBwEBAQEBFQE?= =?us-ascii?q?BAQECAQEBAQgBAQEBgxQBAQEBAR5XE2mNMpZ9lCOCBhkLgkSCbEoCgWA4FAEBA?= =?us-ascii?q?QEBAQEBAQEBXSeCMgQBFQEEghABAQEDAQEBASAdAwEqCwEBAwsLGAICHwcCAic?= =?us-ascii?q?BLwYTiEUMAQmvMmeESQcCiB8BAQEBAQUBAQEBAQEBARYBCIEGhy6CWIREY4IhK?= =?us-ascii?q?4ISHY46i0KGJ4VSg3dngQdOhBiDFIYGhwqBa4NkE4N9HjaDUYE5cYYFgUEBAQE?= X-IronPort-AV: E=Sophos;i="5.30,415,1470693600"; d="scan'208";a="195094043" Received: from bark.recoil.org ([5.153.225.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Sep 2016 17:13:43 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id e602257a; Thu, 29 Sep 2016 16:13:39 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=hIF+ejZR+Vk/2PaWxBdsjkfPWAg=; b=bB7uC4ARxdRTKxN9Tl sMWlFVitiv+9KS4CO2C54JShSDCDylfI29xCn2fhjEk98EZcZ8v8XSp0eq2f4uIs nV70lfgKY25vnjcs4bAk9mIIVoNHjz1H9oG51IfnO0FRSZ3SHYWkofZ040tP5d4Z bPP+qF5/KugajQk+k+Ryc0as0= 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=YHDYeGsJW8uLzA1ViIMGRHscqZYQJqmtl2csQ0PdRA+Yg69Ygc0 QdvP3GEnY4SljQqi5a3nxLeB2lIWCGxCJY9onjWLnUpWZYeX/tY4JjjNwCg+6MMP Q/ICuRjouMyacWJH/t0htXl6xSKM1Dg2Jy94h+SmvgNC7fAbr15qflD8= Received: from [172.16.10.72] (mail.astons-coaches.co.uk [194.72.166.2]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 10adc943 (TLSv1:ECDHE-RSA-AES256-SHA:256:NO); Thu, 29 Sep 2016 16:13:39 +0100 (BST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Anil Madhavapeddy In-Reply-To: Date: Thu, 29 Sep 2016 16:13:39 +0100 Cc: OCaml List , Maxence Guesdon , mirageos-devel Content-Transfer-Encoding: quoted-printable Message-Id: References: To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] [MirageOS-devel] [RE-ANN] From opkg to odig v0.0.1 (was Re: [ANN] opkg v0.0.1 - Documentation access improvements) Dear all, I have deployed an experimental documentation build for MirageOS libraries = (and dependencies thereof) using odig at: http://docs.mirage.io an experimental build using odoc (the new cross-referencing tool that is st= ill being worked on, so expected rendering bugs) is available under: http://docs.mirage.io/odoc/ These URLs are all subject to change, but I thought it might be useful to s= ee the generated output for a real project. The Dockerfile that generates = this site is at: https://github.com/mirage/mirage/blob/master/Dockerfile.doc regards, Anil > On 27 Sep 2016, at 20:34, Daniel B=C3=BCnzli wrote: >=20 > Hello, >=20 > Due to concerns over a binary name clash with OpenWRT's package manager [= 1], the opkg project=20=20 > was renamed to odig. >=20 > http://erratique.ch/software/odig >=20 > If you have installed opkg the way out is: >=20 > opkg cache clear > opam remove opkg=20=20 > opam update && opam install odig > odig ocamldoc=20=20 > odig doc=20=20 >=20 > Thanks to David Kaloper Mer=C5=A1injak and Peter Zotov for raising > the issue.=20=20 >=20 > Sorry for the inconvenience and happy doc digging, >=20 > Daniel >=20 > P.S. To package devs if there are issues with the way your docs get rende= red please get in touch on the issue tracker (if that's not due to your pac= kage install or an ocamldoc issue itself).=20=20 >=20 > [1] https://wiki.openwrt.org/doc/techref/opkg >=20 > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel