From c1c368bb2c910f24e78ff810741f3e32b6f991cb Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Fri, 20 Dec 2013 16:06:54 -0800 Subject: Always copy man/* and doc/tools/*. --- build.xml | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) (limited to 'build.xml') diff --git a/build.xml b/build.xml index 3bee6eab6f..5781b609b4 100755 --- a/build.xml +++ b/build.xml @@ -1596,21 +1596,22 @@ TODO: - - - - - - - - - - + + + + + + + + + + + -- cgit v1.2.3