From 5e63bf32ed6bfef5c3c23467c3198b494edbc3d1 Mon Sep 17 00:00:00 2001
From: Jethro Kuan <jethrokuan95@gmail.com>
Date: Wed, 13 May 2020 18:49:18 +0800
Subject: [PATCH] (ci): makeinfo -> texinfo (#617)

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

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