New configure option: --with-docbook=(yes|no|directory)