From e5023f09cb953732f1af1cbc8e2690d3da6afbd1 Mon Sep 17 00:00:00 2001 From: Joaquin Casares Date: Thu, 13 Jul 2017 14:01:22 -0500 Subject: [PATCH] Requested changes for #134's review. --- README.md | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index c2511344f..1b24dfe9d 100644 --- a/README.md +++ b/README.md @@ -65,8 +65,15 @@ Run the tool with *-h* or *--help* option to see usage instructions. ### Debian and RPM Packages -Notice that you can also build Debian and RPM packages from this project by using *Make*, for example: -`make all`. +#### Make + +Debian and RPM packages can be built from this project using Make, for example: + +```bash +make all +``` + +#### Docker A [Docker](https://docs.docker.com/engine/installation/) build environment is also provided to build the entire project and can be run by using