Skip to content

Commit 0178574

Browse files
jonludlampanglesd
andcommitted
Update doc/driver.md
Co-authored-by: panglesd <[email protected]>
1 parent 9ee9bfb commit 0178574

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/driver.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ let relativize p = Fpath.(v ".." // p) (* this driver is run from the [doc] dir
4343
- `odoc/source/...` : rendered source files
4444

4545
The `odoc` model for achieving this is that we have *pages* (`.mld` files) that have *children* which are either *further pages* (`.mld` files), *modules* (from `.cmti` files), or
46-
a *source parent*. This {{!page-parent_child_spec} parent/child relationship} is specified on the command line. Parent pages must be *compiled* by `odoc` before their children. Then compiling a page `mypage.mld` will produce the file `page-mypage.odoc`.
46+
*source trees*. This {{!page-parent_child_spec} parent/child relationship} is specified on the command line. Parent pages must be *compiled* by `odoc` before their children. Then compiling a page `mypage.mld` will produce the file `page-mypage.odoc`.
4747

4848
In the example below, there will be a file `odoc.mld` that corresponds with the top-level directory `odoc/`. It will be compiled as follows:
4949

0 commit comments

Comments
 (0)