From 35448688e67e97e27f09c5c79b1e11f98430eb18 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Mon, 8 Jan 2018 13:37:23 +0100
Subject: Update man page for new Diab target option

---
 doc/ccomp.1 | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

(limited to 'doc/ccomp.1')

diff --git a/doc/ccomp.1 b/doc/ccomp.1
index 6f9d51d9..29b07af3 100644
--- a/doc/ccomp.1
+++ b/doc/ccomp.1
@@ -55,6 +55,14 @@ Read CompCert configuration from <file>. This takes precedence over any other sp
 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
+Toolchain Options (PowerPC with Diab Backend)
+.TP
+.B \-t <tof>:<env>
+Select target for Diab toolchain. The option is forwarded to the Diab toolchain and has no effect on the code generated by CompCert.
+<tof> denotes the \fIt\fParget processor, \fIo\fPbject file format and \fIf\fPloating point support.
+<env> denotes the execution \fIenv\fPironment.
+.
 .SS Processing Options
 .INDENT 0.0
 .
@@ -204,12 +212,6 @@ The default is 8 bytes.
 Set maximal size for allocation in small data area to <n> bytes.
 The default is 8 bytes.
 .
-.TP
-.B \-t <tof>:<env>
-Select target architecture, passed through to Diab toolchain.
-<tof> denotes the \fIt\fParget processor, \fIo\fPbject file format and \fIf\fPloating point support.
-<env> denotes the execution \fIenv\fPironment.
-.
 .SS
 Code Generation Options (ARM Targets)
 .INDENT 0.0
-- 
cgit