From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E07C97F61F for ; Fri, 8 Mar 2019 19:27:43 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=Pass smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@relay8-d.mail.gandi.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=217.70.183.201; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of daniel.buenzli@erratique.ch designates 217.70.183.201 as permitted sender) identity=mailfrom; client-ip=217.70.183.201; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay8-d.mail.gandi.net) identity=helo; client-ip=217.70.183.201; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@relay8-d.mail.gandi.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AzeVsSh3igdaRCkqZsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIfKfad9pjvdHbS+e9qxAeQG9mCs7Qc0qL/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHOfwlEniaxba5vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlD?= =?us-ascii?q?sHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXWRPUMZPWSJCH42z?= =?us-ascii?q?YJcAAeUcMutDs4n9vkEDoQeiCQWwBu7izCJDiH/s3a091uQsCQ/I0xYmH9IPrn?= =?us-ascii?q?vUqM36OboOSeCzzajIyTTDZO5R1Djg8ofIdBEhru+IXb5qasXR1FcgFwXEj1WU?= =?us-ascii?q?qIzoJC2a1v4Xs2eB8+pgVPuvi3M5pA1rvjevxt4hh4/UjYwbzVDE8D92wIczJd?= =?us-ascii?q?CgVkF7e8SkH4FMtyGbLot2X90tT3t0tyY60rEGtp+7fDQKyJQ63BHTcf2Hc4+Q?= =?us-ascii?q?7hLsVeaRPTd4hG9+d76lmxmy9k2gx+vhXce3yFZHtjRJnsTOu3wX1RHf9tKLRu?= =?us-ascii?q?Z+80qvwzqDyRzf5vxcLUwpl6fWKIQtzqM0m5cRq0jPACH7lFvsgKOIa0kp9e6l?= =?us-ascii?q?4Pn9bLr8vJ+TLYp0hxn+Mqswnsy/Bvw1MhIQUGif4+u91L7u8VTkT7lQi/05iK?= =?us-ascii?q?jZsJTAKcQUvKG5BRJa0oc55xa5ETimzMwUnXgBLF1bZBKKl5blN0zMLfziD/qz?= =?us-ascii?q?n06gnCpoyv3IJLHtHInBImXbnLfkZ7l96kpcyAQpzdBY4pJZEqwOL+j1Wk/wqt?= =?us-ascii?q?PYCgU1PBepw+n5DtV814ceWWOUD6CHKqPSq0WH5v4uI+mVeY8apizxJOQl5/L2?= =?us-ascii?q?l382hUcdfbW13ZsQcH23Au5pI0CdYXb1htcBEHwKvhYlQezxiFyCVCZTaGyoU6?= =?us-ascii?q?I94DE7EoOmAp3ZSoCjmrzSlBu8S5ZfY2QDDlGXDV/pcZ+FUrECcnG8OMhkxxAN?= =?us-ascii?q?U7msT7gLQRe8sA6yn7ZuKOvZ/msSqJ/lxtx0z+DJjxgu9CVpAoKW0zfeHClPgm?= =?us-ascii?q?oUSmpuj+hEqktnxwLfgPEp0cwdLsRa4rZyail/MJfdy+JgDNWrBlDMZM2AVFe/?= =?us-ascii?q?X9jgCjFjF4ttke9LWF50HpCZtj6GxzCjWuNHmqaRDYA167/RmXPxdZ4kliT2kZ?= =?us-ascii?q?I5hlxjefNhcG2rgqklqlrJCorAghXcm+CvfKUYmiHE8muCi2yDoBMAXQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BVAgDHs4Jchsm3RtlkHgEZBgaBVYJ2g?= =?us-ascii?q?QMnCoN/lTCaRg0lB4FLhywaBwEENBIBAQMBAQcBAwEBARMBAQEICwsIKSMMgjo?= =?us-ascii?q?Mgy6BCwImAkmDSwGBeQurMYEvhENBQINbgQ2BCySEW4ZRgQmBDYFEgWGEEQsCA?= =?us-ascii?q?gKCKoI9LYIqAooIG4ImlnhdBwKBJYVkRotTglCQZwGIBohUjQWBXoFjDAiELAm?= =?us-ascii?q?CG4MsKIJkh3A/MgEBgQUhjVEBgR4BAQ?= X-IPAS-Result: =?us-ascii?q?A0BVAgDHs4Jchsm3RtlkHgEZBgaBVYJ2gQMnCoN/lTCaRg0?= =?us-ascii?q?lB4FLhywaBwEENBIBAQMBAQcBAwEBARMBAQEICwsIKSMMgjoMgy6BCwImAkmDS?= =?us-ascii?q?wGBeQurMYEvhENBQINbgQ2BCySEW4ZRgQmBDYFEgWGEEQsCAgKCKoI9LYIqAoo?= =?us-ascii?q?IG4ImlnhdBwKBJYVkRotTglCQZwGIBohUjQWBXoFjDAiELAmCG4MsKIJkh3A/M?= =?us-ascii?q?gEBgQUhjVEBgR4BAQ?= X-IronPort-AV: E=Sophos;i="5.58,456,1544482800"; d="scan'208";a="372572953" Received: from relay8-d.mail.gandi.net ([217.70.183.201]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Mar 2019 19:27:21 +0100 X-Originating-IP: 178.197.232.214 Received: from hehey.local.mail (214.232.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.232.214]) (Authenticated sender: daniel.buenzli@erratique.ch) by relay8-d.mail.gandi.net (Postfix) with ESMTPSA id 565D11BF205 for ; Fri, 8 Mar 2019 18:27:21 +0000 (UTC) Date: Fri, 8 Mar 2019 19:27:20 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: [Caml-list] [ANN] Odig 0.0.4 Hello, It's my pleasure to announce a new release of odig. =C2=A0odig is a command line tool to lookup documentation of installed =C2=A0OCaml packages. It shows package metadata, readmes, change logs, =C2=A0licenses, cross-referenced odoc API documentation and manuals. To browse the documentation of your opam switch's packages simply proceed with: =C2=A0 =C2=A0 opam install ocaml-manual odig =C2=A0 =C2=A0 odig doc An odig manual and the packaging conventions can be consulted via: =C2=A0 =C2=A0 odig doc odig # or see https://b0-system.github.io/odig/doc/o= dig A sample output on a best-effort maximal set of packages of the opam repository can be found here: =C2=A0 =C2=A0 https://b0-system.github.io/odig/doc/ The highlights of this release are: * Support for the latest odoc (includes navigation improvements). * Support for mld manuals and package landing page customization. =C2=A0 See for example: https://b0-system.github.io/odig/doc/odig * Support for API documentation themes. The default odoc theme =C2=A0 and light and dark themes optimized for legibility are bundled =C2=A0 with odig; and you can bring your own via opam packages. The =C2=A0 odig default themes can be spotted online by following the =C2=A0 links here: =C2=A0 https://github.com/b0-system/odig#sample-odoc-api-documentation-and-= manuals * Support for OCaml manual theming when the `ocaml-manual` =C2=A0 package is installed. Provides a best-effort (for better =C2=A0 results a closer rework of the manual HTML gen would be needed) =C2=A0 seamless style transition between API docs and the OCaml =C2=A0 manual. For example follow the link to the manual on: =C2=A0 https://b0-system.github.io/odig/doc/ The release notes have all the details, especially removals details from 0.= 0.3: =C2=A0 =C2=A0 https://github.com/b0-system/odig/blob/v0.0.4/CHANGES.md Most of this is brought to you thanks to support added in `odoc` by Thomas Refis and Rizo Isrof. Thanks also to Thomas Refis for helping with `odoc` driving details, with `odoc` bug chasing and discussions. Homepage: http://erratique.ch/software/odig Best & happy documentation reading, Daniel