diff --git a/CONTRIBUTORS b/CONTRIBUTORS index a171f4b8d..e3d01844b 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -290,6 +290,7 @@ Tom Dimock Tom Eugelink Ulrich Schmidt Victor Toni +Vincent Legoll Waldek Herka Will Wang William Ferguson diff --git a/contributors.xml b/contributors.xml index 755af007e..8f24c7c62 100644 --- a/contributors.xml +++ b/contributors.xml @@ -1171,6 +1171,10 @@ Victor Toni + + Vincent + Legoll + Will Wang diff --git a/xdocs/faq.xml b/xdocs/faq.xml index bd98f9c19..5d053b670 100644 --- a/xdocs/faq.xml +++ b/xdocs/faq.xml @@ -717,6 +717,25 @@ shell-prompt> m4 foo.m4 > foo +]]> + + + + + How can I delete a particular directory, + if and only if it is empty? + +

Most users who go down this path have no problem figuring + out that + <delete includeemptydirs="true" /> will + help them. The seemingly tricky part is preserving the + non-empty directories, which Ant includes in the directory + scan. Fortunately the answer is simple:

+ + + + ]]>