diff options
Diffstat (limited to 'doc/manual/src/command-ref/opt-inst-syn.md')
| -rw-r--r-- | doc/manual/src/command-ref/opt-inst-syn.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/manual/src/command-ref/opt-inst-syn.md b/doc/manual/src/command-ref/opt-inst-syn.md new file mode 100644 index 000000000..1703c40e3 --- /dev/null +++ b/doc/manual/src/command-ref/opt-inst-syn.md @@ -0,0 +1,15 @@ +\--prebuilt-only + +\-b + +\--attr + +\-A + +\--from-expression + +\-E + +\--from-profile + +path |