diff options
-rw-r--r-- | doc/ccomp.1 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index c4d214cd..d84adc7f 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -57,6 +57,7 @@ Read CompCert configuration from <file>. This takes precedence over any other sp .TP .B \-target <triple> Read CompCert configuration from <triple>.ini instead of using the default of compcert.ini. +The configuration file is searched for in the share directory of the CompCert installation. . .SS Processing Options .INDENT 0.0 |