Tests for the
org.javacc.jjdoc
package.
The tests generate output in the
docs
directory.