Skip to content

Commit 95d2505

Browse files
christinerosepanglesd
authored andcommitted
clarify source tree sentence in 146
1 parent 9e9ef75 commit 95d2505

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
@@ -140,7 +140,7 @@ directory.
140140
[odoc] supports compiling {i implementations}. This can be useful to render source
141141
code, generate links from and to source code, and count occurrences of
142142
identifiers. The [compile-src] command takes a source-tree parent file and a
143-
source path, which has to be in the source tree.
143+
source path that has to be in the source tree.
144144

145145
Linking a file with [odoc] requires the input file and a list of include paths. As
146146
for compile, we will hard-code the include path.

0 commit comments

Comments
 (0)