Eliminated "deprecated" stuff in /projects/acl2/devel/emacs/acl2-doc.el.

Fixed the jumping-around that was sometimes caused by "n".  (To see
the problem, try the following before this update: search for
type-alist and watch the screen jump when it shouldn't as you get to
the second match in EXTENDED-METAFUNCTIONS.)


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1253 5d84a466-a78b-0930-a311-59b22171a541