diff --git a/tools/install/linux/helpoptions.xml b/tools/install/linux/helpoptions.xml new file mode 100644 index 0000000000..bed8bf7864 --- /dev/null +++ b/tools/install/linux/helpoptions.xml @@ -0,0 +1,28 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + +