aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/command-ref/opt-inst-syn.xml
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual/command-ref/opt-inst-syn.xml')
-rw-r--r--doc/manual/command-ref/opt-inst-syn.xml22
1 files changed, 22 insertions, 0 deletions
diff --git a/doc/manual/command-ref/opt-inst-syn.xml b/doc/manual/command-ref/opt-inst-syn.xml
new file mode 100644
index 000000000..e8c3f1ec6
--- /dev/null
+++ b/doc/manual/command-ref/opt-inst-syn.xml
@@ -0,0 +1,22 @@
+<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>
+ <arg choice='plain'><option>-A</option></arg>
+ </group>
+ </arg>
+
+ <arg><option>--from-expression</option></arg>
+ <arg><option>-E</option></arg>
+
+ <arg><option>--from-profile</option> <replaceable>path</replaceable></arg>
+
+</nop>