Public bug reported:
Binary package hint: acl2
The ACL2 emacs interface is in /usr/share/emacs/site-lisp/acl2, not
"/projects/acl2/v2-x/interface/emacs/" as is used in /usr/share/emacs
/site-lisp/acl2/top-start-shell-acl2.el
** Affects: acl2 (Ubuntu)
Importance: Medium
Status: Unconfirmed
** Changed in: acl2 (Ubuntu)
Importance: Undecided => Medium
--
acl2-emacs hardcodes wrong emacs-interface dir
https://bugs.launchpad.net/bugs/106675
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
[EMAIL PROTECTED]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
