diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 8510de7a0e..e7cd183149 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -3,6 +3,10 @@ on: push: branches: - master + paths: + - 'src/*' + - 'include/*' + - 'docs/*' jobs: deploy: diff --git a/Doxyfile b/Doxyfile index 18f877500c..8c73332737 100644 --- a/Doxyfile +++ b/Doxyfile @@ -104,7 +104,7 @@ ENABLE_PREPROCESSING = YES MACRO_EXPANSION = YES EXPAND_ONLY_PREDEF = YES PREDEFINED = DOXYGEN NON_MATCHING __attribute__((x))= -EXPAND_AS_DEFINED = INCLUDE_ASM +EXPAND_AS_DEFINED = INCLUDE_ASM UNK_TYPE UNK_PTR UNK_RET UNK_FUN_ARG UNK_FUN_PTR UNK_ARGS SKIP_FUNCTION_MACROS = YES SEARCH_INCLUDES = YES diff --git a/docs/_config.yml b/docs/_config.yml deleted file mode 100644 index 18854876c6..0000000000 --- a/docs/_config.yml +++ /dev/null @@ -1 +0,0 @@ -theme: jekyll-theme-midnight \ No newline at end of file