<!ELEMENT option (#PCDATA)> |
This element occurs in the elements : Element : <copy> | Element: <link> | Element: <mkdir> | Element: <move> | Element: <ownership> | Element: <permissions>
The element option allows to specify an option of the englobing element.
<mkdir base="/usr/local/lib">
<option>parents</option>
<name>X11</name>
</mkdir>
|
The equivalent bash script is :
cd /usr/local/lib echo Making directory X11 mkdir -p X11 |