From 02a0ef3526fe874861d965baf6b8a9145213391c Mon Sep 17 00:00:00 2001 From: zzz Date: Sun, 20 Sep 2015 00:44:51 +0000 Subject: [PATCH] include man pages in the update --- build.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build.xml b/build.xml index 7d409ff1ff..ea10ca4bba 100644 --- a/build.xml +++ b/build.xml @@ -1402,6 +1402,9 @@ ---------------- EARLIER HISTORY IS AVAILABLE IN THE SOURCE PACKAGE" + + +