diff options
| author | whitequark <whitequark@whitequark.org> | 2016-02-09 14:38:21 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-06-14 11:36:35 -0400 |
| commit | be1f3cfa78894736f3b73e529fca4c7a01282dee (patch) | |
| tree | 032abb771c4f2587518ca9a6603bd93f6f53b302 /man/ocamlc.m | |
| parent | da56cf6dfdc13c09905c2e07f1d4849c8346eec8 (diff) | |
| download | ocaml-be1f3cfa78894736f3b73e529fca4c7a01282dee.tar.gz | |
Update manpages and manual to account for changes in 221c55a4.
Diffstat (limited to 'man/ocamlc.m')
| -rw-r--r-- | man/ocamlc.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index b5360dcf7d..0dc5940c88 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -44,7 +44,7 @@ The .BR ocamlc (1) command has a command-line interface similar to the one of most C compilers. It accepts several types of arguments and processes them -sequentially: +sequentially, after all options have been processed: Arguments ending in .mli are taken to be source files for compilation unit interfaces. Interfaces specify the names exported by |