Major Section: RELEASE-NOTES
Please also see note-3-4 for changes to Version 3.4 of ACL2.
Fixed makefiles, books/nonstd/Makefile and GNUmakefile. The old
set-up seemed to work fine as long as all books certified, but it was really
broken, for example only certifying some of the books in
books/nonstd/nsa/, and then only when required by books in other
directories. Also fixed the ``clean'' target to clean links rather than
to make links.