about summary refs log tree commit diff
path: root/doc/manual/opt-inst-syn.xml
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual/opt-inst-syn.xml')
-rw-r--r--doc/manual/opt-inst-syn.xml7
1 files changed, 7 insertions, 0 deletions
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
@@ -2,6 +2,13 @@
   
   <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>
       <arg choice='plain'><option>-A</option></arg>
     </group>