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