diff options
Diffstat (limited to 'profile/infopath.sh')
| -rw-r--r-- | profile/infopath.sh | 8 |
1 files changed, 7 insertions, 1 deletions
| diff --git a/profile/infopath.sh b/profile/infopath.sh index ad1ec3f..80080b8 100644 --- a/profile/infopath.sh +++ b/profile/infopath.sh | |||
| @@ -1 +1,7 @@ | |||
| 1 | export INFOPATH="/usr/share/info:${XDG_DATA_HOME:-$HOME/.local/share}/info" | 1 | # See 00_functions.sh for `path_add_unsafe'. |
| 2 | |||
| 3 | path_add_unsafe INFOPATH \ | ||
| 4 | /usr/share/info \ | ||
| 5 | "${XDG_DATA_HOME:-$HOME/.local/share}/info" | ||
| 6 | |||
| 7 | export INFOPATH | ||