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 _______________________________________________ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users
