diff options
Diffstat (limited to 'Doc/tools')
| -rw-r--r-- | Doc/tools/fix.el | 5 | ||||
| -rwxr-xr-x | Doc/tools/fix_hack | 1 |
2 files changed, 3 insertions, 3 deletions
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 |