<div dir="ltr">Hi Johannes,<div><br></div><div>adding</div><div><br></div><div>  ghc-options: -haddock</div><div><br></div><div>in ~/.cabal/config works for me.</div><div><br></div><div>Cheers,</div><div>Simon</div></div><br><div class="gmail_quote"><div dir="ltr">Am Di., 27. Nov. 2018 um 18:39 Uhr schrieb Johannes Waldmann <<a href="mailto:johannes.waldmann@htwk-leipzig.de">johannes.waldmann@htwk-leipzig.de</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Cafe -<br>
<br>
what do I have to put in my global .cabal/config<br>
in order to make ghci's new :doc command<br>
<a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html#ghci-cmd-:doc" rel="noreferrer" target="_blank">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html#ghci-cmd-:doc</a><br>
work after "cabal install <foo>"?<br>
<br>
I thought "documentation: True" should do it<br>
but I am invariably getting this:<br>
<br>
GHCi, version 8.6.2: <a href="http://www.haskell.org/ghc/" rel="noreferrer" target="_blank">http://www.haskell.org/ghc/</a>  :? for help<br>
Prelude> import Ersatz<br>
Prelude Ersatz> :doc solveWith<br>
ghc: Can't find any documentation for Ersatz.Solver.<br>
This is probably because the module was compiled without '-haddock',<br>
but it's also possible that the module contains no documentation.<br>
<br>
I do have the .cabal/share/doc/x86_64-linux-ghc-8.6.2/ersatz-0.4.4/html<br>
directory.<br>
<br>
The :doc command seems to work for the libraries that come with ghc<br>
(documentation in /opt/ghc/ghc-8.6.2/share/doc/ghc-8.6.2/html/ )<br>
<br>
- J.W.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>