diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Doxyfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/Doxyfile b/docs/Doxyfile index 901be54dc..d3994dcc1 100644 --- a/docs/Doxyfile +++ b/docs/Doxyfile @@ -238,6 +238,7 @@ INCLUDE_PATH = INCLUDE_FILE_PATTERNS = PREDEFINED = __JUST_STUBS__ \ __DOXIGEN__ \ + CH_USE_THREAD_EXT \ CH_USE_VIRTUAL_TIMERS \ CH_USE_SYSTEMTIME \ CH_USE_WAITEXIT \ |