Added (comp t) so that Allegro CL, and perhaps other Lisps that do not compile on the fly, can build the manual.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2181 303c5b2c-9740-0410-b014-fd8f9db7be32
More ignores for svn status (including TAGS, in case that is used later by Emacs browsing tool).

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2182 303c5b2c-9740-0410-b014-fd8f9db7be32
ACL2(r) Makefile fixes: add make_cert link; and avoid tools/defconsts.lisp since it includes std/util/defconsts, but std/util/ is not yet supported in ACL2(r).

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2183 303c5b2c-9740-0410-b014-fd8f9db7be32
Make sure clean.pl exists in order to start the cleaning process.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2184 303c5b2c-9740-0410-b014-fd8f9db7be32
Modified Makefile in order to avoid a minor error in ACL2(r) regressions.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2185 303c5b2c-9740-0410-b014-fd8f9db7be32
xdoc and system/doc updates:
 - add new system/doc/acl2-doc-wrap.lisp file for fixing origins and
   faster documentation loading
 - modify xdoc's import mechanism to incorporate new system/doc stuff
 - add .gitignore for system/doc

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2186 303c5b2c-9740-0410-b014-fd8f9db7be32
Move build-script related files into a build/ directory.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2188 303c5b2c-9740-0410-b014-fd8f9db7be32
Tweaked nonstd/Makefile to accommodate new build/ directory.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2189 303c5b2c-9740-0410-b014-fd8f9db7be32
Forgot to add new build/ director to nonstd/ at previous commit.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2190 303c5b2c-9740-0410-b014-fd8f9db7be32
Move concurrent-programs into projects, add doc, Makefile targets, etc.
Integrate book release notes into centaur manual.
Trivial .gitignore changes.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2191 303c5b2c-9740-0410-b014-fd8f9db7be32