Fix deploy script handling of custom config file

.devcontainer/devcontainer.json

@@ -38,7 +38,8 @@
 		"yzhang.markdown-all-in-one",
 		"shakram02.bash-beautify",
 		"eamodio.gitlens",
-		"streetsidesoftware.code-spell-checker"
+		"streetsidesoftware.code-spell-checker",
+		"rogalmic.bash-debug"
 	],
 	// Use 'postCreateCommand' to run commands after the container is created.
 	"postCreateCommand": "pip install --upgrade pip && pip install --user -r requirements.txt",

.vscode/launch.json

@@ -12,6 +12,12 @@
             "console": "integratedTerminal",
             "justMyCode": true
         },
+        {
+            "name": "Bash: Current File",
+            "type": "bashdb",
+            "request": "launch",
+            "program": "${file}",
+        },
         {
             "name": "Test: Build Mkdocs",
             "type": "python",

action.yml

@@ -28,7 +28,7 @@
 #           # (optional) Specify a different theme [mkdocs|readthedocs|material]
 #           theme: material
 #           # (optional) Load a configuration file from a string
-#           config: "{additional_css: value}"
+#           config: "mkdocs.yml"
 #           # (optional) Version or alias.  Specify multiple aliases with space
 #           # example: version: v0.1.0 latest
 #           version: latest
@@ -74,6 +74,7 @@ inputs:
   config:
     description: "Configuration file"
     required: false
+    default: mkdocs.yml
   version:
     description: "Version to publish"
     required: false

docker/deploy.sh

@@ -1,18 +1,16 @@
 #!/bin/bash
-
 set -e
+
 UNSET='\033[0m'
 RED='\033[00;31m'
 GREEN='\033[00;32m'
 YELLOW='\033[00;33m'
 CYAN='\033[00;36m'
 
-
 git config --global --add safe.directory /github/workspace
 
 echo -e "${CYAN}Building docs${UNSET}"
-mkdocs_simple_gen --config-file ${INPUT_CONFIG:-'mkdocs.yml'}
-mkdocs build
+mkdocs_simple_gen --config-file ${INPUT_CONFIG}
 
 if [[ "${INPUT_PUSH}" == "1" || "${INPUT_PUSH,,}" == "true" ]]; then
     git config --global user.name "${GITHUB_ACTOR}"
@@ -22,14 +20,16 @@ if [[ "${INPUT_PUSH}" == "1" || "${INPUT_PUSH,,}" == "true" ]]; then
 
     if [ "${INPUT_VERSION}" ]; then
         echo -e "${CYAN}Deploying ${INPUT_VERSION} to ${INPUT_PUBLISH_BRANCH}${UNSET}"
-        mike deploy -p -u -b ${INPUT_PUBLISH_BRANCH} ${INPUT_VERSION}
+        mike deploy --config-file ${INPUT_CONFIG} -p -u -b ${INPUT_PUBLISH_BRANCH} ${INPUT_VERSION}
     else
         echo -e "${CYAN}Deploying docs to ${INPUT_PUBLISH_BRANCH}${UNSET}"
-        mkdocs gh-deploy -b ${INPUT_PUBLISH_BRANCH}
+        mkdocs gh-deploy --config-file ${INPUT_CONFIG} -b ${INPUT_PUBLISH_BRANCH} 
     fi
 
     if [ "${INPUT_DEFAULT_VERSION}" ]; then 
         echo -e "${CYAN}Setting default version to ${INPUT_DEFAULT_VERSION}${UNSET}"
         mike set-default -p -b ${INPUT_PUBLISH_BRANCH} ${INPUT_DEFAULT_VERSION}
     fi
+else 
+    mkdocs build --config-file ${INPUT_CONFIG}
 fi