diff Makefile @ 34201:079e40110dad

configure: merge DOCS/xml/configure into top-level configure
author diego
date Thu, 03 Nov 2011 14:23:14 +0000
parents 3053e7ffd08d
children 91794b4aa5d0
line wrap: on
line diff