Fixed a bug in the following previous change (thanks to Jared for
reporting the bug with an example):

  Improved an error message produced in cases that could be due to a missing
  stobj declaration or formal parameter.

bin/make-fancy-manual.sh:
Improved documentation and code (especially error checking), but
haven't yet tested (which we can all live with, since surely I'm the
only one who uses this script!).


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