Skip to content

Commit 704e781

Browse files
christinerosepanglesd
authored andcommitted
added comma
1 parent 8fb5172 commit 704e781

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/driver.mld

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -512,7 +512,7 @@ type unit = {
512512
For [odoc] libraries, we infer the implementation and interface source file path
513513
from the library name. We list them in a file, passed to [odoc source-tree], to
514514
generate [src-source.odoc]. This file contains the source hierarchy. It will be
515-
linked and passed to [html-generate] just as other pages and compilation units.
515+
linked and passed to [html-generate], just as other pages and compilation units.
516516

517517
It is used as the [source-parent] for all units for which we could provide
518518
sources.

0 commit comments

Comments
 (0)