Minor fix

[tools/install.git] / config_files / Sphinx.sh

diff --git a/config_files/Sphinx.sh b/config_files/Sphinx.sh
index 52fcfeae007c87380559d2bf6f1e745253533e23..0e2fd9aff4c79524b6a36020445c39a6945a9b57 100755 (executable)
--- a/config_files/Sphinx.sh
+++ b/config_files/Sphinx.sh
@@ -98,7 +98,7 @@ cd ${PRODUCT_DIR}/bin
 for f in X `find . -name "*.py" -exec basename {} ";" | awk -F. '{print $1}'` ; do
     case ${f} in
        X ) ;;
-       * ) ln -sf ${f}.py ${f} ;;
+       * ) sed -i "s%#\!.*python%#\!/usr/bin/env python%" ${f}.py ; ln -sf ${f}.py ${f} ;;
     esac
 done