
23 Aug
2009
23 Aug
'09
9:11 p.m.
On Thu, 2009-08-20 at 14:17 -0400, John Dorsey wrote:
Perhaps it's in /usr/local/share/doc. Mine seem to end up there, and I don't recall whether I specified that at any point.
It's not in my ~/.cabal/config, but I am using the very helpful user-install: False documentation: True
I suspect /usr/local/share/doc is the default for documentation in global installs, but I can't go verify that at the moment.
It's given further down in the ~/.cabal/config file. The commented out fields show the default values: install-dirs global -- prefix: /usr/local [..snip..] -- datadir: $prefix/share [..snip..] -- docdir: $datadir/doc/$pkgid hence "/usr/local/share/doc/$pkgid" Duncan