Original bug ID: 7075 Reporter:@johnwhitington Assigned to:@lpw25 Status: closed (set by @damiendoligez on 2016-02-03T16:19:20Z) Resolution: fixed Priority: normal Severity: minor Target version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: documentation Has duplicate:#7087 Related to:#6964
For example, in Pervasives. See attached screenshot.
The problem is not in the source file. The problem does not occur in 4.02.3.
As another data point, the documentation for the Scanf module ends up being completely scrambled. Section titles and entire subsections are repeated multiple times. For instance, I count no less than 8 repetitions of the "Introduction" section title.
The problem seems to stem from the presence of consecutive sequences of separated documentation comments. Merging together these documentation comments remove the stuttering.
Moreover, there is also redoubled section title in the following module documentation