Ticket #547 (closed defect: fixed)
mandir seems to get the wrong default
| Reported by: | duncan | Owned by: | |
|---|---|---|---|
| Priority: | normal | Milestone: | Cabal-1.8 |
| Component: | Cabal library | Version: | 1.6.0.1 |
| Severity: | normal | Keywords: | |
| Cc: | Difficulty: | easy (<4 hours) | |
| GHC Version: | Platform: |
Description
We specify the default mandir as:
mandir = "$datadir" </> "man"
However it appears to end up using $docdir eg:
copy dist/build/darcs/darcs.1 to /tmp/tmp.XXXXIIpMR3/usr/local/share/doc/darcs-2.2.97.0/man1/darcs.1
Change History
Note: See
TracTickets for help on using
tickets.
