[acl2/acl2] 889706: Fixed some out-of-date comments in GNUmakefile. F...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 88970687518362326d4cb370baa9d822e16b2212
https://github.com/acl2/acl2/commit/88970687518362326d4cb370baa9d822e16b2212
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-12 (Thu, 12 Jan 2017)

Changed paths:
M GNUmakefile
M books/kestrel/utilities/directed-untranslate.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp

Log Message:
-----------
Fixed some out-of-date comments in GNUmakefile. Fixed explanation in :doc acl2-doc on how to build the manual. Fixed ill-guarded calls of EQ in support of directed-untranslate.

Thanks to Eric Smith for pointing out the issues above. I also
deleted an obsolete GNUmakefile target, move-large.

[GitHub]

Branch: refs/heads/testing