From 0804b4b37d5fcc43d975f56a4c2c88dd58a0b882 Mon Sep 17 00:00:00 2001
From: Federico Ceratto <federico@debian.org>
Date: Sun, 27 Jun 2021 19:51:28 +0100
Subject: [PATCH] Switch packaging.rst to use makefile

Minor cleanup
---
 doc/packaging.rst | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/packaging.rst b/doc/packaging.rst
index ecb17e482c..fcdc4ae042 100644
--- a/doc/packaging.rst
+++ b/doc/packaging.rst
@@ -48,14 +48,15 @@ Hints on the build process:
 .. code:: cmd
 
    # build from C sources and then using koch
-   ./build.sh --os $os_type --cpu $cpu_arch
-   ./bin/nim c koch
+   make -j   # supports parallel build
+   # alternatively: ./build.sh --os $os_type --cpu $cpu_arch
+   ./bin/nim c -d:release koch
    ./koch boot -d:release
 
    # optionally generate docs into doc/html
    ./koch docs
 
-   ./koch tools -d:release
+   ./koch tools
 
    # extract files to be really installed
    ./install.sh <tempdir>