Branch: refs/heads/master
Home:
https://github.com/acl2/acl2
Commit: bcb0a669f2c962a62534a9cb4b0f3336797e47b5
https://github.com/acl2/acl2/commit/bcb0a669f2c962a62534a9cb4b0f3336797e47b5
Author: Matt Kaufmann <
kauf...@cs.utexas.edu>
Date: 2017-01-12 (Thu, 12 Jan 2017)
Changed paths:
M GNUmakefile
M books/system/doc/acl2-doc.lisp
M doc.lisp
M emacs/acl2-doc.el
Log Message:
-----------
Avoid a possibly-undefined function in acl2-doc. Avoid ACL2 customization file in "make DOC".
Changed code in acl2-doc to avoid the use of function cl-position,
which isn't available in every reasonable Emacs. Thanks to Eric Smith
for reporting this problem.
Quoting :doc note-7-4:
An ACL2 customization file is no longer loaded by default (when it
exists) when invoking `make' from the top-level ACL2 directory.
This change is not necessary for `make regression' because the
build system for the books already takes care of it. However we
need this change for `make DOC', at the least; thanks to Eric Smith
for bringing our attention to a failure of `make DOC'.