ChangeLog
author ladanyi
Tue, 11 Jul 2006 15:50:19 +0000
changeset 2127 1d43a276fc26
child 928 71dc900ee30f
permissions -rw-r--r--
Do not install the documentation if configure was called with --disable-doc.