From dde52ccdf904b7495945f4db430b663fcdfc0236 Mon Sep 17 00:00:00 2001
From: Adriano Peluso <address@hidden>
Date: Mon, 28 Jan 2019 08:47:20 +0100
Subject: [PATCH 2/2] libmicrohttpd renamed to libmicrohttpd-dev

* tutorial-ubuntu1804.htmlc
---
 tutorial-ubuntu1804.html.j2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tutorial-ubuntu1804.html.j2 b/tutorial-ubuntu1804.html.j2
index b835433..f0e1941 100644
--- a/tutorial-ubuntu1804.html.j2
+++ b/tutorial-ubuntu1804.html.j2
@@ -38,7 +38,7 @@
       build-essential libgcrypt-dev libidn11-dev zlib1g-dev \<br>
       libunistring-dev libglpk-dev miniupnpc libextractor-dev \<br>
       libjansson-dev libcurl4-gnutls-dev libsqlite3-dev openssl \<br>
-      libnss3-tools libmicrohttpd
+      libnss3-tools libmicrohttpd-dev
   </code>
 
   <h3>{{ _("Make an installation directory") }}</h3>
-- 
2.17.1