<!ELEMENT param (#PCDATA)> |
This element occurs in the element configure, execute, make and patch.
This element is used to specify a parameter of the element to which it belongs.
<make>
<param>install</param>
</make>
|
The equivalent bash script is :
echo Executing make make install |