From e0ca6714911e34f86f6a644634ebaef86666e6dc Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 31 Dec 2007 02:52:17 +0000
Subject: * More documentation.

---
 doc/manual/opt-inst-syn.xml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'doc/manual/opt-inst-syn.xml')

diff --git a/doc/manual/opt-inst-syn.xml b/doc/manual/opt-inst-syn.xml
index 1c32325e5089..e8c3f1ec6f04 100644
--- a/doc/manual/opt-inst-syn.xml
+++ b/doc/manual/opt-inst-syn.xml
@@ -1,5 +1,12 @@
 <nop xmlns="http://docbook.org/ns/docbook">
   
+  <arg>
+    <group choice='req'>
+      <arg choice='plain'><option>--prebuilt-only</option></arg>
+      <arg choice='plain'><option>-b</option></arg>
+    </group>
+  </arg>
+  
   <arg>
     <group choice='req'>
       <arg choice='plain'><option>--attr</option></arg>
-- 
cgit 1.4.1