diff mxtool/mx @ 8646:1b090d7f832d

Allow building using a jdk that does not contain man
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 05 Apr 2013 14:24:02 +0200
parents a607682f7ba6
children 98918f518640
line wrap: on
line diff