From 735a613821b54203fe48e67f97fc9382a23a3696 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@meta.com>
Date: Sun, 9 Jun 2024 11:26:25 -0700
Subject: [PATCH] Build docs

---
 .github/workflows/doc.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 8d273bd0..17de5986 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -24,11 +24,15 @@ jobs:
     - name: Create Build Environment
       run: |
         sudo apt update
-        sudo apt install doxygen python3-virtualenv
+        sudo apt install doxygen
+        pip install mkdocs
         cmake -E make_directory ${{runner.workspace}}/build
 
     - name: Build
       working-directory: ${{runner.workspace}}/build
       env:
         KEY: ${{secrets.KEY}}
-      run: # $GITHUB_WORKSPACE/support/build-docs.py
+      run: |
+        cmake .
+        make doc
+        # $GITHUB_WORKSPACE/support/build-docs.py