From ff9673463c61f1a29055c482f8e6a4b6532e3f2f Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Thu, 3 Jun 2021 08:43:41 -0700
Subject: [PATCH] Fix docs

---
 .github/workflows/doc.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 0610569a..402c5a0f 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -4,6 +4,7 @@ on: [push, pull_request]
 
 jobs:
   build:
+    # Use Ubuntu 20.04 because doxygen 1.8.13 from Ubuntu 18.04 is broken.
     runs-on: ubuntu-20.04
 
     steps:
@@ -11,7 +12,7 @@ jobs:
 
     - name: Create Build Environment
       run: |
-        sudo apt install doxygen python-virtualenv
+        sudo apt install doxygen python3-virtualenv
         sudo npm install -g less clean-css
         cmake -E make_directory ${{runner.workspace}}/build