Incorporated Jan-Hein's changes and texinfo conversion.
diff --git a/Doc/tools/fix.el b/Doc/tools/fix.el
new file mode 100644
index 0000000..f25a935
--- /dev/null
+++ b/Doc/tools/fix.el
@@ -0,0 +1,6 @@
+; load the new texinfo package (2.xx) if not installed by default
+(setq load-path
+      (cons "/ufs/jh/lib/emacs/texinfo" load-path))
+(find-file "@out.texi")
+(texinfo-all-menus-update t)
+(texinfo-all-menus-update t)