diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 088c7f5..0023c37 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -16,7 +16,7 @@ jobs: - name: Install deps run: | - sudo apt-get install makeinfo + sudo apt-get install texinfo - name: Build docs continue-on-error: false