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