diff options
| author | Andy Goth <andrew.m.goth@gmail.com> | 2018-07-13 10:39:43 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2021-04-17 23:32:34 -0500 |
| commit | bc15ff88a3535807d02e25b04eba972997b65ce8 (patch) | |
| tree | 511a97c04ca35193b981c8e6a2cbe0bad3d447b2 /development/jdk | |
| parent | 025c87b0e4def8686524c624fa4a78f93f20d151 (diff) | |
development/jdk: Don't set the MANPATH variable.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/jdk')
| -rw-r--r-- | development/jdk/profile.d/jdk.csh | 1 | ||||
| -rw-r--r-- | development/jdk/profile.d/jdk.sh | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/development/jdk/profile.d/jdk.csh b/development/jdk/profile.d/jdk.csh index 3a1ec7be8b2e0..24580311a31da 100644 --- a/development/jdk/profile.d/jdk.csh +++ b/development/jdk/profile.d/jdk.csh @@ -1,4 +1,3 @@ #!/bin/csh setenv JAVA_HOME /usr/lib/java -setenv MANPATH ${MANPATH}:${JAVA_HOME}/man setenv PATH ${PATH}:${JAVA_HOME}/bin:${JAVA_HOME}/jre/bin diff --git a/development/jdk/profile.d/jdk.sh b/development/jdk/profile.d/jdk.sh index ed0bc73d4d66d..66815e299fb08 100644 --- a/development/jdk/profile.d/jdk.sh +++ b/development/jdk/profile.d/jdk.sh @@ -1,4 +1,3 @@ #!/bin/sh export JAVA_HOME=/usr/lib/java -export MANPATH="${MANPATH}:${JAVA_HOME}/man" export PATH="${PATH}:${JAVA_HOME}/bin:${JAVA_HOME}/jre/bin" |