Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Documentation for libraries installed through opam.

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Documentation for libraries installed through opam.


Chronological Thread 
  • From: Izzy <izzyjhasson AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Documentation for libraries installed through opam.
  • Date: Tue, 24 Mar 2020 13:33:20 -0700
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=izzyjhasson AT gmail.com; spf=Pass smtp.mailfrom=izzyjhasson AT gmail.com; spf=None smtp.helo=postmaster AT mail-pl1-f181.google.com
  • Ironport-phdr: 9a23:eJ5SQBPmDG+OPGEN3+gl6mtUPXoX/o7sNwtQ0KIMzox0Lf79rarrMEGX3/hxlliBBdydt6sYzbOL6uu5ATFIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRq7oR/MusQWnIduJbs9xgfJr3BVZ+lY2GRkKE6ckBr7+sq+5oNo/T5Ku/Im+c5AUKH6cLo9QLdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6LprSAPthSwaOTM17H3bh8pth69dvRmvpQFww5TMbY+VKfRwYKDTc90USmVOQslcTDZODp+mYoYVE+YMM+RVoo/grFUOtxu+AgysCfvsxD5Jh3733bAx3uMgEQDH3Q0hH9AOsHTOo9XuL6cSVua1wbLHzTXGdfxW2DP95JLUfRAmpPGBRLR9etfSx0k3Dw7JkEmcpIj/Mz6W1ukBqXaX4/dvWO61lmIqqBx9riCty8oskIXEhYwYxkrA+Cll2oo4K9m1RUhmatC+CpRQrTuVN45uT8MiXW5ovCE6x6UDuZGhfSgKzI0rxwbba/CaaoSI7A/vWeWMLTtii3Jlf7W/hxm28Ue+0OHzSs600FNSoipElNnDqGwN2gTN5sSbTvZx5ESs1DaV2wzN9+1JLlo4mbfYJpI82rIwk4AcsUXHHi/4gkX2i6qWe10l+ump6uXmYrfmpp+GOI9vkQH+NaIul9ewAeQ9KAcOXmyb9f6g273k+E31WK9KgeEukqnFrJDaItwWqbK+Aw9My4os9xK/Dyq939kDhnkGLFdFeAqdgITzOlHOJur4DfaljFi2njdr3aOOArq0CZLUa3PHjb3JfLBn6kcaxhBg48pY4sd1GKMQaKbySF3gttzRFQQ+NSS7xu/mDJN20YZICjHHObOQLK6H6QzA3ekoOeTZPNZI6ga4EOAs4rvVtVF8mVIZevP3j54eaXT9BvA/ZkvAMSOqjdAGHmMH+AE5Sb6y0QHQYXtof3+3GpkEyHQjEov/VNXMQ4mshPqK2yLpRsQHNFADMUiFFDLTT6vBXv4NbCyIJco4y24LULGgT8kq0hT87QI=

Dear Coq-club,

Is there a recommended or standard way of getting local web-browser friendly documentation for libraries installed using opam?

My current method of :

$find "$(pwd)" | grep -i '\.v$' >> /tmp/libraryfiles

$coqdoc --files-from /tmp/libraryfiles.txt --html --toc

works but I'm hoping there is something more like odig or racodocs for ease browsing, searching, and automated generation.

Izzy




Archive powered by MHonArc 2.6.18.

Top of Page