Update redirect_map.conf

Author: gtjoseph

.github/workflows/publish.yml

@@ -44,12 +44,7 @@ jobs:
           cat >Makefile.inc <<EOF
           ${{vars.MAKEFILE_INC}}
           EOF
-          echo "::group::Building documentation"
+          echo "***BUILDING***"
           make
-          echo "::endgroup::"
-          echo "::group::Generating the redirect map"
-          make temp/site/redirect_map.conf
-          echo "::endgroup::"
-          echo "::group::Deploying"
+          echo "***DEPLOYING***"
           make deploy
-          echo "::endgroup::"

Makefile

@@ -180,7 +180,7 @@ else
 	@mkdocs build -f $(BUILD_DIR)/mkdocs.yml -d $(SITE_DIR)
 endif
 
-temp/site/redirect_map.conf: utils/confluence_redirects/redirect_map_static.conf utils/confluence_redirects/redirect_map_extra.conf
+docs/redirect_map.conf: utils/confluence_redirects/redirect_map_static.conf utils/confluence_redirects/redirect_map_extra.conf
 	@echo "Creating $@"
 	@utils/confluence_redirects/check_map.sh $^
 	@echo "# This file is auto-generated from the files in utils/confluence_redirects" > $@