Documentation updates
 - Add various @(def ...) stuff into acl2-doc.lisp
 - Clean up some whitespace

XDOC updates
 - Fix up import-doc to avoid importing stale docs from ACL2 sources
 - Unlocalize import-acl2doc and fix-the-hierarchy in centaur/doc.lisp

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2274 303c5b2c-9740-0410-b014-fd8f9db7be32
Trying to move leftist-trees to projects, but the delete may still need to be done

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

Following feedback from Jared, moved :doc strings for e0-ord-< and
e0-ordinalp from the ACL2 sources into ordinals/e0-ordinal.lisp.

Improved :doc force using feedback from David Rager.

Removed ":cited-by Programming" from :doc include-book.

Fixed comment in Makefile as per suggestion from Jared.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2276 303c5b2c-9740-0410-b014-fd8f9db7be32
Removing leftist-tress from the top-level

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2277 303c5b2c-9740-0410-b014-fd8f9db7be32
Making the arguments to sign-extend and its documentation have the same names

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