; load the new texinfo package (2.xx) if not installed by default
; (setq load-path (cons "/ufs/guido/lib/emacs/texinfo-2.14" load-path))
(find-file "lib1.texi")
(texinfo-all-menus-update t)