Updated :doc note-6-4 to match check-in about to be made to
acl2-devel, by adding the following:

  Attempts to submit [congruence] rules had unfortunate consequences in
  the case that the function ``symbol'' is [if] or [quote]: for if,
  rules were appropriately ignored because of the special handling
  that ACL2 already gives to calls of [if] for congruence-based
  reasoning, while for quote, it was possible to get a hard Lisp
  error. Now, attempts to submit such rules will result in a clear
  ACL2 error.

Updated Makefile with new target, special, which includes all books
but for each book, executes specified files of ACL2 forms immediately
before and immediately after each book.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2350 303c5b2c-9740-0410-b014-fd8f9db7be32