<html><head></head><body><div style="color:#000; background-color:#fff; font-family:Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_ym18_1_1459166112453_11819"><span>Hi,</span></div>I have downloade the source package of 0.12.11 and ran './configure --prefix=/opt/spice-protocol-0.12.11' first. At the end of the config.log, I see<div id="yui_3_16_0_ym18_1_1459166112453_11802"><div id="yui_3_16_0_ym18_1_1459166112453_13901" dir="ltr"><br></div><div id="yui_3_16_0_ym18_1_1459166112453_13905" dir="ltr">...</div><div id="yui_3_16_0_ym18_1_1459166112453_13961" dir="ltr">MAKEINFO='${SHELL} /root/packages/spice-protocol-0.12.11/missing makeinfo'</div><div id="yui_3_16_0_ym18_1_1459166112453_14237" dir="ltr">...<br>configure: exit 0<br></div><div id="yui_3_16_0_ym18_1_1459166112453_14002" dir="ltr"><br></div>What is that?<br><div id="yui_3_16_0_ym18_1_1459166112453_13900" dir="ltr"><br></div></div><div id="yui_3_16_0_ym18_1_1459166112453_11818" class="signature">Regards,<br>Mahmood</div></div></body></html>