<!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 |