Major Section: RELEASE-NOTES
The Makefile has been modified by adding a new target, clean-links.
This can be used in order to remove all soft links, which is useful if the
directory is copied or moved to a new location or if there are file system
changes that cause problems with link pathnames.
Please also see note-2-8 for changes to Version_2.8 of ACL2.