Fixed bug in function put-defstobj-invariant-risk (ill-guarded call of CAR caused error in Allegro CL but not in CCL).

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1133 5d84a466-a78b-0930-a311-59b22171a541
Added doc.lisp.backup to unversioned-files.txt and then executed svn propset commands.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1134 5d84a466-a78b-0930-a311-59b22171a541
Changed certify-books-short target to use basic target in books/Makefile.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1135 5d84a466-a78b-0930-a311-59b22171a541
Tweaked targets related to the manual, especially to suggest rebuilding ACL2 when doc.lisp has changed.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1136 5d84a466-a78b-0930-a311-59b22171a541
Undo accidental change in preceding commit

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