add --disable-doxygen-docs options (sf patch #1365935 https://sourceforge.net/tracker...