Skip to content

Commit

Permalink
added comma
Browse files Browse the repository at this point in the history
  • Loading branch information
christinerose authored Jul 29, 2024
1 parent 60fad56 commit b64e5a7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/driver.mld
Original file line number Diff line number Diff line change
Expand Up @@ -512,7 +512,7 @@ type unit = {
For [odoc] libraries, we infer the implementation and interface source file path
from the library name. We list them in a file, passed to [odoc source-tree], to
generate [src-source.odoc]. This file contains the source hierarchy. It will be
linked and passed to [html-generate] just as other pages and compilation units.
linked and passed to [html-generate], just as other pages and compilation units.

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

0 comments on commit b64e5a7

Please sign in to comment.