Update the documentation about configure options.
1 file changed