tree 63203c2d506b442396649972cd0090394535d53e
parent 3101e99c21270b984870ed2d9b390196bac98e2b
author Dirk Ullrich <dirk.ullrich@googlemail.com> 1265446103 +0100
committer Aurelien Jarno <aurelien@aurel32.net> 1265628290 +0100

configure: Add --enable-docs and --disable-docs to --help

This patch adds the documentation-related options "--enable-docs" and
"--disable-docs" to the help message of "configure".

Signed-off-by: Dirk Ullrich <dirk.ullrich@googlemail.com>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>