fix command to make a debian package

pull/4711/head
Tim Gerla 11 years ago
parent 0e9184eefd
commit 0f80364994

@ -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.

Loading…
Cancel
Save