changing header of bin files

diff --git a/config_files/docutils-0.3.7.sh b/config_files/docutils-0.3.7.sh
index 3304fe860686710466db83bc0b1180feca2080dc..2237677270605081b6b8bacf3baca7a2eeaa77e0 100755 (executable)
--- a/config_files/docutils-0.3.7.sh
+++ b/config_files/docutils-0.3.7.sh
@@ -49,6 +49,18 @@ make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" ${PRODUCT_TYPE}
 source ${INSTALL_WORK}/$SHRC
 
 check_jb tar xfz ${SOURCE_DIR}/docutils-0.3.7.tar.gz -C ${INSTALL_ROOT}
+cd ${PRODUCT_DIR}/bin; 
+
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" rst2latex.py > _rst2latex.py
+mv -f _rst2latex.py rst2latex.py
+chmod a+x rst2latex.py
+ln -sf rst2latex.py rst2latex
+
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" rst2html.py > _rst2html.py
+mv -f _rst2html.py rst2html.py
+chmod a+x rst2html.py
+ln -sf rst2html.py rst2html
+
 print_env
 }