Fix reference to tools/unlabel

master
John Whitington 2020-09-11 14:39:12 +01:00
parent c3f6cd7ff7
commit a866c6d07f
1 changed files with 4 additions and 3 deletions

View File

@ -1,3 +1,4 @@
These templates are fragments of OCaml source files, which tools/unlabel uses
to build the full labeled and unlabeled stdlib modules. At present,
tools/sync_stdlib_docs must be run manually -- it is not a build task.
These templates are fragments of OCaml source files, which
tools/sync_stdlib_docs uses to build the full labeled and unlabeled stdlib
modules. At present, tools/sync_stdlib_docs must be run manually -- it is not a
build task.