
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>On Thu, 2015-11-05 at 13:14 +0100, Paul Gevers wrote:</div><blockquote type="cite">rmdir $DOCDIR</blockquote><div>Isn't it enough to add this in pre installation file?</div><div>-- </div><div><pre>Cheers,

Abou Al Montacir</pre></div></body></html>