“texi2dvi” command not found July 24, 2023 by Tarik You need to install texinfo. sudo apt-get install texinfo