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