Add instruction for how to build a Debian package from the last release.

diff --git a/INSTALL b/INSTALL
index 3c581cbfa16b8e217480bdd4f5e3c748c0d5882f..7cfbdc36851126394cdc8115cad6d31b5c5f7e3f 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -22,6 +22,11 @@ following command:
 However Debian GNU/Linux users can also use gbp(1) from git-buildpackage
 to build their own package:
 
+  $ git checkout debian
+  $ AUTO_DEBSIGN=no gbp buildpackage
+
+Alternatively, for the development version:
+
   $ git checkout debian
   $ git merge master
   $ AUTO_DEBSIGN=no gbp buildpackage --git-force-create --git-upstream-tree=BRANCH