From 4430f037292062c2ea7ccaa30f6477caaf73b711 Mon Sep 17 00:00:00 2001
From: Eric Platon <zaraki@gmx.com>
Date: Wed, 7 Feb 2018 14:25:41 +0900
Subject: [PATCH] Add missing `make` stages in Linux build pipeline.

---
 Compiling.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Compiling.md b/Compiling.md
index 1c08319..ee8acb5 100644
--- a/Compiling.md
+++ b/Compiling.md
@@ -84,6 +84,7 @@ To install it in $HOME/local:
 ```
 ./autogen.sh
 ./configure --prefix=$HOME/local/
+make
 make install
 ```
 
@@ -93,6 +94,7 @@ To install it in $HOME/local using Leptonica libraries also installed in $HOME/l
 ./autogen.sh
 LIBLEPT_HEADERSDIR=$HOME/local/include ./configure \
   --prefix=$HOME/local/ --with-extra-libraries=$HOME/local/lib
+make
 make install
 ```