(ci): makeinfo -> texinfo (#617)

This commit is contained in:
Jethro Kuan 2020-05-13 18:49:18 +08:00 committed by GitHub
parent e62bda799a
commit 5e63bf32ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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