NOTE-3-4(R)

ACL2 Version 3.4(r) (xxx, 20xx) Notes
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.