<!ELEMENT option (#PCDATA)> |
This element occurs in the elements copy, link, mkdir, move, ownership and 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 |