Quoting a comment put in books/system/doc/acl2-doc.lisp (deflabel xdoc
note-7-0 ...):

; Made a small GCL-only related change to user-homedir-pathname, after
; consultation with Camm Maguire.

Quoting :doc note-7-0:

  Modified code used in distributing Debian releases that allows books
  certified in one directory to be distributed in another. This
  change, together with the fact that such relocation is not truly
  supported, is explained in comments in source function
  make-certificate-file-relocated. Thanks to Camm Maguire for
  discussions leading to this change.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1374 5d84a466-a78b-0930-a311-59b22171a541
Tweaked definition of strip-cadrs, essentially as requested by Eric Smith to aidd termination proof.  (Also, strip-cddrs.)

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1375 5d84a466-a78b-0930-a311-59b22171a541