# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1454242188 -3600
# Node ID 2370d3618f2ed17af76951c77651a6593c399564
# Parent  ef716f5b9d22035f7f1eccd07f97a82459925712
Added scheduling module updating to the install script.

diff -r ef716f5b9d22 -r 2370d3618f2e tools/install.sh
--- a/tools/install.sh	Sun Jan 31 13:09:30 2016 +0100
+++ b/tools/install.sh	Sun Jan 31 13:09:48 2016 +0100
@@ -81,7 +81,7 @@
 
 # Tools
 
-TOOLS="fix.sh init.sh init_user.sh make_freebusy.py"
+TOOLS="fix.sh init.sh init_user.sh make_freebusy.py update_scheduling_modules.py"
 
 if [ ! -e "$INSTALL_DIR/tools" ]; then
     mkdir -p "$INSTALL_DIR/tools"
@@ -114,3 +114,7 @@
         cp "$DIR/"*.mo "$INSTALL_DIR/$DIR/"
     done
 fi
+
+# Run the scheduling module update tool to regenerate the manifest module.
+
+PYTHONPATH="$INSTALL_DIR" "$INSTALL_DIR/tools/update_scheduling_modules.py"