diff options
author | Michael Schmidt <github@mschmidt.me> | 2017-01-26 10:43:49 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2017-01-26 10:43:49 +0100 |
commit | 141f8f8dfb7ed37ad5ad9eca568da86650f42a83 (patch) | |
tree | 2fe9ab808a583a9a04877a6bb47faae816c5b0db /doc/ccomp.1 | |
parent | 66d4ba0f72518add12cd1cfb8ef2c40864f50bfe (diff) | |
download | compcert-141f8f8dfb7ed37ad5ad9eca568da86650f42a83.tar.gz compcert-141f8f8dfb7ed37ad5ad9eca568da86650f42a83.zip |
mention share directory for -target option
Diffstat (limited to 'doc/ccomp.1')
-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 |