<sect2>
<title>Command explanations</title>

<para><userinput>patch -Np1 -i ../texinfo-4.0.patch:</userinput> This patch
fixes a problem with compiling texinfo on gcc-3.0 systems.  More
specifically, it moves an #ifdef out of a printf macro in order to be
compatible.</para>

</sect2>