mirror of https://github.com/ARMmbed/mbed-os.git
Update doxyfile_options that has settings used by developer.mbed.org
Should be kept in sync with doxygen_options.json which is used for building the doxygen which is used by docs.mbed.com It is intended only generate doxygen for specific directories which present the public APIs for mbed OSpull/4521/head
parent
ec6c7ee65e
commit
821af242a3