From f9bcc99d8ca6c03cef8e523060ede57a0355a346 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 5 Dec 2018 13:31:21 +0100
Subject: [PATCH] Do not double install nginx

---
 manifest | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/manifest b/manifest
index ab770df..ca0f6d3 100755
--- a/manifest
+++ b/manifest
@@ -57,8 +57,7 @@ require="__apt_source/dotdeb" __apt_update_index
 # Install packages
 for package in php7.0-common php7.0-gd php7.0-json php7.0-pgsql php7.0-curl \
 			   php7.0-intl php7.0-mcrypt php7.0-imagick \
-               php7.0-zip php7.0-apcu php7.0-mbstring php7.0-xml php7.0-fpm \
-               nginx
+               php7.0-zip php7.0-apcu php7.0-mbstring php7.0-xml php7.0-fpm;
     do require="__apt_update_index" __package $package --state=present
 done