From 2d96bd29390c181a01bf94f2dd4cb4d36aed8cd9 Mon Sep 17 00:00:00 2001
From: joliv <joliv@users.noreply.github.com>
Date: Thu, 15 Jan 2015 12:13:55 -0500
Subject: [PATCH] Add "Options:" header to help text

Makes it easier to be parsed by `help2man`
---
 dokku | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dokku b/dokku
index 117cecf16..5c58819fe 100755
--- a/dokku
+++ b/dokku
@@ -171,6 +171,7 @@ case "$1" in
   help|'')
     echo "Usage: dokku COMMAND <app> [command-specific-options]"
     echo ""
+    echo "Options:"
 
     cat<<EOF | pluginhook commands help | sort
     help                                            Print the list of commands