[PATCH 8/8] HACKING: minor formatting changes, for better clarity

[Stefano Lattarini]

Signed-off-by: Stefano Lattarini <address@hidden>
---
 HACKING | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/HACKING b/HACKING
index 4641d90..bb5876e 100644
--- a/HACKING
+++ b/HACKING
@@ -244,19 +244,27 @@
   be done carefully, because that command will remove *all* the
   files that are not tracked by git!
 
-* Run "make git-tag-release".
+* Run this:
+
+    make git-tag-release
+
   This will run the maintainer checks, verify that the local git
   repository and working tree are clean and up-to-date, and create
   a proper signed git tag for the release (based on the contents
   of $(VERSION)).
 
-* Run "make git-upload-release".
+* Run this:
+
+    make git-upload-release
+
   This will first verify that you are releasing from a tagged version
   and that the local git repository and working tree are clean and
   up-to-date, and will then run "make dist" to create the tarballs,
   and invoke the 'gnupload' script sign and upload them to the correct
   locations.  In case you need to sign with a non-default key, you can
-  use "make GNUPLOADFLAGS='--user KEY' git-upload-release".
+  use:
+
+      make GNUPLOADFLAGS='--user KEY' git-upload-release
 
 * For stable releases you'll have to update the manuals at www.gnu.org.
 
-- 
1.8.0.1.347.gf94c325