docs: build req: Remove p7zip-full

p7zip-full is not required for building, as stated in the current
version of the docs. I think this bogus requirement was introduced
by Armband (by me, more precisely) because our build process was
happening outside docker.

Sorry for the useless code churn.

Change-Id: Id0a3c5b9016706535ca159e1da261e83c8d36d31
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>

diff --git a/docs/buildprocedure/build.instruction.rst b/docs/buildprocedure/build.instruction.rst
index dd7aab5..8ec8cb7 100644 (file)
--- a/docs/buildprocedure/build.instruction.rst
+++ b/docs/buildprocedure/build.instruction.rst
@@ -68,8 +68,6 @@ On the host, the following packages must be installed:
 
 - curl (simply available through $ sudo apt-get install curl)
 
-- p7zip-full (simply available through $ sudo apt-get install p7zip-full)
-
 Preparations
 ============