]> git.tuebingen.mpg.de Git - dss.git/blobdiff - dss.ggo
Add section "Commands" to dss help text.
[dss.git] / dss.ggo
diff --git a/dss.ggo b/dss.ggo
index 731cabb89485418f0326611e18176bca4a982f1e..a6644ee3954222db0ed21a568e0ce8e0717e7763 100644 (file)
--- a/dss.ggo
+++ b/dss.ggo
@@ -82,12 +82,17 @@ details="
        is also given.
 "
 
+##################
+section "Commands"
+##################
+
 defgroup "command"
 #=================
 groupdesc="
        dss supports a couple of commands each of which corresponds
        to a different command line option. Exactly one of these
        options must be given.
+
 "
 required