summary refs log tree commit diff
path: root/doc/manual/opt-inst-syn.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-12-31 02:52:17 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-12-31 02:52:17 +0000
commite0ca6714911e34f86f6a644634ebaef86666e6dc (patch)
tree7b273bf88e0ea01ad31cd4847b43afd84ddb6755 /doc/manual/opt-inst-syn.xml
parent6bdecfacbbebfaa4aa588941844713d2b31ae95c (diff)
downloadguix-e0ca6714911e34f86f6a644634ebaef86666e6dc.tar.gz
* More documentation.
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 1c32325e50..e8c3f1ec6f 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>