Updated doc.lisp to match books/system/doc/acl2-doc.lisp.  Also added generated files to doc/.gitignore.