Updates to jared branch...

 - Remove rtl/rel7 and rtl/rel8.  Thanks to Matt for doing all of the actual
   work of updating include-books.

 - Substantially sped up the certification of rtl/rel9 by avoiding some
   expensive rules in certain books; the idealized critical path is down from
   28.5 to 10.6 minutes on my home machine.

 - Fix typo in a VL warning thanks to feedback from David Rager.

Update issue 110

I haven't changed the default behavior of the Makefile (yet).  However:

I added at least some new directory-level targets for libraries like
arithmetic, ihs, tools, misc, and data-structures.

I added a "basic" meta-target, which would be my proposal for the new default.
It currently finishes in about 17 minutes of compute time (so maybe 10 minutes
on a dual-core laptop), and certifies everything in:

    arithmetic
    arithmetic-2
    arithmetic-3
    arithmetic-5
    ihs
    std
    str
    xdoc
    tools
    misc            (not misc/misc2, due to extensive rtl dependencies)
    data-structures (not data-structures/memories, since it's less general)

Switching this to the default would just requiring replacing the "all:" line
near the top of Makefile with "basic:".  

Many directory targets aren't there yet, and I haven't yet added any other
meta-targets, e.g., rtl, y86, jvm, etc.  But, I think if we decide to switch,
we should probably first revamp the documentation for the build system, or
consider adding some kind of "make help" that explains the options.



git-svn-id: http://acl2-books.googlecode.com/svn/branches/jared@2162 303c5b2c-9740-0410-b014-fd8f9db7be32
Start on book reorganization (in the jared branch)

Old Path (books/...)            New Path (books/...)
  paco                            projects/paco
  milawa                          projects/milawa
  taspi                           projects/taspi
  security                        projects/security
  security/suite-b                projects/security/sha-2
  wp-gen                          projects/wp-gen


Minor changes while moving projects into this new directory.

Paco.  Removed unnecessary Makefile.  Moved (and marked up) information from
Readme.lsp into a paco topic in projects/doc.lisp.  Removed Readme.lsp.  Added
paco target to books/Makefile.

TASPI.  Removed unnecessary Makefiles.  Moved (and marked up) information from
Readme.lsp into a taspi topic in projects/doc.lisp.  Removed Readme.lsp.  Added
taspi target to books/Makefile.

Security.  Removed unnecessary Makefiles. 

  - Tweaked include-books in jfkr to avoid misc/untranslate-patterns being
picked up by cert.pl.  Added jfkr target to books/Makefile.  Wrote jfkr
documentation topic and added it to projects/doc.lisp.

  - Removed des/README since it was redundant with the hons-only annotation;
removed des/Makefile.  Added (bare-bones) topic about the des directory to
projects/doc.lisp

  - Renamed suite-b to sha-2, since it only contains a sha-2 book.  Removed its
Makefile.  Added (bare-bones) topic about it.

WP-Gen.  Removed unnecessary Makefiles.  Removed README and readme.lsp after
incorporating their contents into a new wp-gen topic, in projects/doc.lisp.


git-svn-id: http://acl2-books.googlecode.com/svn/branches/jared@2165 303c5b2c-9740-0410-b014-fd8f9db7be32
xdoc: ugly tweak so that, e.g., @(see Foo) will preserve the upper-case F.
(FiXeS issue 70)


git-svn-id: http://acl2-books.googlecode.com/svn/branches/jared@2166 303c5b2c-9740-0410-b014-fd8f9db7be32