diff options
Diffstat (limited to 'profile/manpath.sh')
| -rw-r--r-- | profile/manpath.sh | 5 |
1 files changed, 4 insertions, 1 deletions
| diff --git a/profile/manpath.sh b/profile/manpath.sh index bda4fd2..7f17ea3 100644 --- a/profile/manpath.sh +++ b/profile/manpath.sh | |||
| @@ -4,7 +4,10 @@ path_add_unsafe MANPATH \ | |||
| 4 | "${XDG_DATA_HOME:-$LOCAL_PREFIX/share}/man" \ | 4 | "${XDG_DATA_HOME:-$LOCAL_PREFIX/share}/man" \ |
| 5 | "$LOCAL_PREFIX/local/man" \ | 5 | "$LOCAL_PREFIX/local/man" \ |
| 6 | "$LOCAL_PREFIX/local/man" \ | 6 | "$LOCAL_PREFIX/local/man" \ |
| 7 | "$LOCAL_PREFIX/man" | 7 | "$LOCAL_PREFIX/man" \ |
| 8 | /usr/share/man \ | ||
| 9 | /usr/X11R6/man \ | ||
| 10 | /usr/local/man | ||
| 8 | 11 | ||
| 9 | # $MANPATH ends with `:' so that manpath(1) will prepend it to its | 12 | # $MANPATH ends with `:' so that manpath(1) will prepend it to its |
| 10 | # special thing. | 13 | # special thing. |