I want to build and install the openocd package on some embedded devices with relatively small amounts of flash space. Because of this, I’d like to turn off all the documentation (man, doxygen, etc), but I don’t seem able to control it. Is there a switch for “configure”? I see --disable-doxygen-pdf and --disable-doxygen-html, but I want all of it turned off. Thanks!