<!ELEMENT param (#PCDATA)> |
This element occurs in the element : Element : <configure> | Element: <execute> | Element: <make> | Element: <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 |