From f94366c769d460d50131937fa3b1bb5bc23afe0a Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Fri, 20 Jan 2023 19:14:17 +0100
Subject: [PATCH] ci: Add help2man install for verilator compilation.

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index be57c70..635ce7f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -38,10 +38,10 @@ jobs:
       # Build / Install Verilator
       - name: Build Verilator
         run: |
+          sudo apt-get install help2man
           export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH"
           git clone https://github.com/verilator/verilator
           cd verilator
-          git checkout be65030d6145e4553500b91b3db36db0993aa8af
           autoconf
           ./configure
           make -j$(nproc)