JWS-117 Compiled all tools with ./compilebin.sh and some were missing related files.

[jabaws.git] / binaries / src / ViennaRNA / man / cmdlopt.sh

diff --git a/binaries/src/ViennaRNA/man/cmdlopt.sh b/binaries/src/ViennaRNA/man/cmdlopt.sh
new file mode 100644 (file)
index 0000000..f5c175a
--- /dev/null
+++ b/binaries/src/ViennaRNA/man/cmdlopt.sh
@@ -0,0 +1,15 @@
+#/bin/sh
+# this is a wrapper for help2man
+# it enables it to obtain help, detailed-help and version information
+# directly from a given .ggo file.
+#
+# the first argument passed to this script must be the .ggo file which
+# should be parsed, while the second argument may be one of the following
+# options
+
+
+case $2 in
+  --help)           gengetopt --show-help --set-version=2.1.2 < $1;;
+  --version)        echo 2.1.2;;
+  --detailed-help)  gengetopt --show-detailed-help --set-version=2.1.2 < $1;;
+esac