diff options
Diffstat (limited to 'hints')
| -rw-r--r-- | hints/darwin.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/hints/darwin.sh b/hints/darwin.sh index fc2e5b7d51..025c0221f1 100644 --- a/hints/darwin.sh +++ b/hints/darwin.sh @@ -44,8 +44,12 @@ case "$prefix" in man1dir='/usr/share/man/man1'; man3dir='/usr/share/man/man3'; # But users' installs shouldn't touch the system man pages. + # Transient obsoleted style. siteman1='/usr/local/share/man/man1'; siteman3='/usr/local/share/man/man3'; + # New style. + siteman1dir='/usr/local/share/man/man1'; + siteman3dir='/usr/local/share/man/man3'; ;; *) # Anything else; use non-system directories, use Configure defaults ;; |