<div dir="ltr">`which makeinfo` prints exactly "/usr/bin/makeinfo".<br>Then "ln -s" should be avoided.<br><br>Thanks for the reminder, Chris :)<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Chris Johns <<a href="mailto:chrisj@rtems.org">chrisj@rtems.org</a>> 于2020年3月9日周一 上午5:27写道：<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 9/3/20 1:51 am, Mingyu Li wrote:<br>
> Suppose you are using Ubuntu, here is what you can do:<br>
> <br>
>     sudo apt-get install texinfo<br>
>     ln -s `which makeinfo` /usr/bin/makeinfo <br>
<br>
What does `which makeinfo` print for you?<br>
<br>
Chris<br>
</blockquote></div>