Merge alpha100 branch back to main trunk
diff --git a/Doc/tools/fix_hack b/Doc/tools/fix_hack
index 8c97729..8dad111 100755
--- a/Doc/tools/fix_hack
+++ b/Doc/tools/fix_hack
@@ -1 +1,2 @@
+#!/bin/sh
 sed -e 's/{\\ptt[ 	]*\\char[ 	]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1