Java Modeling Language (JML) / Things to Do / #56 Generated by comments in jmldoc output

labels: 477023 --&gt; jmldoc (documentation tool)
milestone: 248386 --&gt; self_reported
summary: Generated by comments --&gt; Generated by comments in jmldoc output

#56 Generated by comments in jmldoc output

Milestone: self_reported

Status: open

Module:

Priority: 3

Updated: 2006-05-19

Created: 2004-04-17

Private: No

Some of the html pages produced by jmldoc still have internal
comments stating they are "Generated by javadoc".