From dc5bf0cc69f8fac6825529f306174f6014d1872b Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Mon, 7 Oct 2019 16:52:29 +0300
Subject: [PATCH] sudo: remove rm

---
 core/sudo/build | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/core/sudo/build b/core/sudo/build
index c7455d40..64dd511c 100755
--- a/core/sudo/build
+++ b/core/sudo/build
@@ -18,6 +18,3 @@ make \
     install_uid="$(id -u)" \
     install_gid="$(id -g)" \
     install
-
-# Remove docs.
-rm -rf "$1/usr/share/doc"