ROBODoc robodoc

handy shell script to generate everything

Documented the NOSOURCE option

Added master index for LaTeX output
Added option to exclude Source items.
Added SINGLEDOC option to aid the construction of LaTeX master index

Added an entry to create the WWW site archive

Added information about the 3 different modules and on how to build the
ROBODoc website.

fixed some spellings mistakes

fixed error in the download link

Updated ROBOHome to reflect new CVS situation

Addes sourceforge logo, links to the project page, and a correct link to
the download page.

added -a option to create missing files.