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 | ||