don't try to use missing stylesheet; don't run action on PR

ros-industrial-attic · Oct 25, 2020 · 1f3f557 · 1f3f557
1 parent 254163a
commit 1f3f557
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.github/workflows/api_docs.yml b/.github/workflows/api_docs.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - devel
-  pull_request:
 
 jobs:
   deploy_documentation:

diff --git a/doxygen.config b/doxygen.config
@@ -1068,8 +1068,7 @@ HTML_STYLESHEET        =
 # see the documentation.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_EXTRA_STYLESHEET  = "docs/custom.css" \
-                         "docs/custom_dark_theme.css"
+HTML_EXTRA_STYLESHEET  = "docs/custom.css"
 
 # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or
 # other source files which should be copied to the HTML output directory. Note