The Coq mailing list

[Christian Doczkal <christian.doczkal AT inria.fr>]

Hi,

I'm afraid there is no established standard way, at least none that I
know of. (I'd be happy to be corrected on this.)

Many packages have GitHub repositories and HTML documentation on the
respective project websites. So getting the websites with wget or
checking out the repository and running the make html (or any custom
documentation targets) may be options.

It seems that not many people are using "local" documentation these
days, so the UNIX tradition of installing docs to
/usr/share/doc/<package> is dying.

Best,
Christian




On 3/24/20 9:33 PM, Izzy wrote:
> 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
>