
11 Sep
2010
11 Sep
'10
7:11 a.m.
Andrew Coppin wrote:
After much experimentation, I have discovered that if you have a sufficiently new version of cabal-install, the configuration file has a field entitled "document-index:" or similar. If you uncomment this and use its default value, you get a documentation index generated for you. But ONLY if you do a user-install, not a global-install, for reasons beyond my comprehension. (I swear to God I got it to work with global installs one time...)
I've figured it out. Under an older version, it still only generates the index for user-installs, but it puts the index into the global-install location. (Wuh?) Weird, but true.