From 0f803649946018219714118884847c573ca0c75f Mon Sep 17 00:00:00 2001 From: Tim Gerla Date: Mon, 28 Oct 2013 15:04:16 -0700 Subject: [PATCH] fix command to make a debian package --- docsite/rst/intro_installation.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docsite/rst/intro_installation.rst b/docsite/rst/intro_installation.rst index 9de3f7327ba..65c673811bb 100644 --- a/docsite/rst/intro_installation.rst +++ b/docsite/rst/intro_installation.rst @@ -186,7 +186,7 @@ Debian/Ubuntu packages can also be built from the source checkout, run: .. code-block:: bash - $ make debian + $ make deb You may also wish to run from source to get the latest, which is covered above.