<snip /> The output filenames are {manual_name}-single.html, e.g. adminguide-single.html, devguide-single.html. Jean, if you are interested in linking to these from the website, they will be included in the nightly sync and should be in http://incubator.apache.org/derby/docs/ tomorrow.
andrew
Sure -- I'll look for them tomorrow and link them in.
-jean
