On 9/3/20 1:51 am, Mingyu Li wrote: > Suppose you are using Ubuntu, here is what you can do: > > sudo apt-get install texinfo > ln -s `which makeinfo` /usr/bin/makeinfo What does `which makeinfo` print for you? Chris