From f3d453b5e8a4edb9dd4ad2048b6812030511738d Mon Sep 17 00:00:00 2001 From: Kamil Skwarczynski Date: Fri, 1 Nov 2024 16:46:25 +0000 Subject: [PATCH] argg, maybe now --- .github/workflows/Doxygen.yml | 2 +- .gitignore | 2 ++ Doc/Doxyfile | 4 ++-- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/Doxygen.yml b/.github/workflows/Doxygen.yml index f29173be..d76d667f 100644 --- a/.github/workflows/Doxygen.yml +++ b/.github/workflows/Doxygen.yml @@ -60,7 +60,7 @@ jobs: with: retention-days: 1 name: DoxygenHTML - path: Doc/html/* + path: Doc/html Sphinx: # The type of runner that the job will run on diff --git a/.gitignore b/.gitignore index b808067a..8179065d 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,8 @@ build*/ install/ +Doc/html +Doc/latex # Ignore emacs/vim stuff *#* diff --git a/Doc/Doxyfile b/Doc/Doxyfile index d2a9516c..a4b72640 100644 --- a/Doc/Doxyfile +++ b/Doc/Doxyfile @@ -58,7 +58,7 @@ PROJECT_LOGO = "Doc/mach3logo_small.png" # entered, it will be relative to the location where doxygen was started. If # left blank the current directory will be used. -OUTPUT_DIRECTORY = Doc/html +OUTPUT_DIRECTORY = Doc/ # If the CREATE_SUBDIRS tag is set to YES, then doxygen will create 4096 sub- # directories (in 2 levels) under the output directory of each output format and @@ -891,7 +891,7 @@ FILTER_SOURCE_PATTERNS = # (index.html). This can be useful if you have a project on for instance GitHub # and want to reuse the introduction page also for the doxygen output. -USE_MDFILE_AS_MAINPAGE = mainpage.md +USE_MDFILE_AS_MAINPAGE = Doc/mainpage.md #--------------------------------------------------------------------------- # Configuration options related to source browsing