From c118c2eb2881499a1369ec4c970f7158f0938c9f Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Fri, 14 Oct 2016 13:37:59 +0200
Subject: [PATCH] install_pmodules.sh - create empty group 'Libraries'

---
 install_pmodules.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install_pmodules.sh b/install_pmodules.sh
index 9f533e2..dea2b4c 100755
--- a/install_pmodules.sh
+++ b/install_pmodules.sh
@@ -50,6 +50,7 @@ if [[ ! -e "${PMODULES_ROOT}/${PMODULES_CONFIG_DIR}/profile.bash" ]]; then
 fi
 
 mkdir -p "${PMODULES_ROOT}/Tools/modulefiles"
+mkdir -p "${PMODULES_ROOT}/Libraries/modulefiles"
 
 install -m 0644 "${SRC_DIR}/bash"		"${PMODULES_HOME}/init"
 install -m 0644 "${SRC_DIR}/bash_completion"	"${PMODULES_HOME}/init"