From b64e5a7769a9647903410d0878c0f570673ce8ab Mon Sep 17 00:00:00 2001 From: Christine Rose Date: Mon, 29 Jul 2024 05:57:13 -0700 Subject: [PATCH] added comma --- doc/driver.mld | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/driver.mld b/doc/driver.mld index c481ece3aa..7864acfbcd 100644 --- a/doc/driver.mld +++ b/doc/driver.mld @@ -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.