Add information about the jdoc program to the manual.