Merge pull request #9746 from serpent7776/trunk

Add missing space in ocamlc man page
master
Gabriel Scherer 2020-07-07 22:51:21 +02:00 committed by GitHub
commit 20fbae04eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -697,7 +697,7 @@ Enable, disable, or mark as fatal the warnings specified by the argument
Each warning can be
.IR enabled \ or\ disabled ,
and each warning can be
.IR fatal or
.IR fatal \ or
.IR non-fatal .
If a warning is disabled, it isn't displayed and doesn't affect
compilation in any way (even if it is fatal). If a warning is enabled,