From c4d514461135370d492100752b5357e64df04ebf Mon Sep 17 00:00:00 2001
From: Rodrigo Severo <rodrigo@fabricadeideias.com>
Date: Tue, 26 Nov 2019 16:01:54 -0300
Subject: [PATCH] doc: missing virtualenv for build-doc

The install deps command recommended by admin/build-doc doesn't install virtualenv which is required by admin/build-doc.

After manually installing virtualenv, admin/build-doc runned without issues.

Signed-off-by: Rodrigo Severo <rodrigo@fabricadeideias.com>
---
 doc_deps.deb.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc_deps.deb.txt b/doc_deps.deb.txt
index 318be6e2286..4bfff0f205b 100644
--- a/doc_deps.deb.txt
+++ b/doc_deps.deb.txt
@@ -3,6 +3,7 @@ gcc
 python3-dev
 python3-pip
 python3-virtualenv
+virtualenv
 doxygen
 ditaa
 libxml2-dev
-- 
2.39.5