Emacs reports "Cannot open doc string file"

From SRI PVS

Jump to: navigation, search

Owre: Your emacs is incorrectly installed, and missing the documentation strings. (A raw installation of an early version of Redhat (5.1) is known to suffer this problem.) Solution: install emacs properly (see the download page for links to Emacs sites).

Retrieved from "http://pvs-wiki.csl.sri.com/index.php/Emacs_reports_%22Cannot_open_doc_string_file%22"
Personal tools