From 66d4ba0f72518add12cd1cfb8ef2c40864f50bfe Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Thu, 26 Jan 2017 10:22:28 +0100
Subject: describe -conf and -target

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

(limited to 'doc/ccomp.1')

diff --git a/doc/ccomp.1 b/doc/ccomp.1
index 1aea4ff1..c4d214cd 100644
--- a/doc/ccomp.1
+++ b/doc/ccomp.1
@@ -47,6 +47,17 @@ Object file.
 Library file.
 .
 .SH OPTIONS
+.SS General Options
+.INDENT 0.0
+.
+.TP
+.B \-conf <file>
+Read CompCert configuration from <file>. This takes precedence over any other specification.
+.
+.TP
+.B \-target <triple>
+Read CompCert configuration from <triple>.ini instead of using the default of compcert.ini.
+.
 .SS Processing Options
 .INDENT 0.0
 .
-- 
cgit