Merge alpha100 branch back to main trunk
diff --git a/Doc/tools/fix.el b/Doc/tools/fix.el
index 25086e4..f36d6f0 100644
--- a/Doc/tools/fix.el
+++ b/Doc/tools/fix.el
@@ -1,6 +1,5 @@
; load the new texinfo package (2.xx) if not installed by default
-; (setq load-path
-; (cons "/ufs/jh/lib/emacs/texinfo-2.14" load-path))
-(find-file "lib.texi")
+; (setq load-path (cons "/ufs/guido/lib/emacs/texinfo-2.14" load-path))
+(find-file "@lib.texi")
(texinfo-all-menus-update t)
(texinfo-all-menus-update t)
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