From 4fe1e3ae7d3e7066ef74b1f9589738a8ae73b3de Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 26 Dec 2020 14:05:22 +0100 Subject: 20201226.1 global branch merge. Signed-off-by: Matteo Bernardini --- development/jdk/profile.d/jdk.sh | 1 - 1 file changed, 1 deletion(-) (limited to 'development/jdk/profile.d/jdk.sh') diff --git a/development/jdk/profile.d/jdk.sh b/development/jdk/profile.d/jdk.sh index ed0bc73d4d..66815e299f 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" -- cgit v1.2.3