ACL2 Version 2.8(r) (March, 2003) 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.