From 141f8f8dfb7ed37ad5ad9eca568da86650f42a83 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Thu, 26 Jan 2017 10:43:49 +0100
Subject: mention share directory for -target option

---
 doc/ccomp.1 | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/ccomp.1')

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
-- 
cgit