copying feed.xml to index.xml for legacy

JuliaLang · Mar 30, 2020 · b2daea7 · b2daea7
1 parent 1160fc7
commit b2daea7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -39,7 +39,8 @@ jobs:
         run: julia -e '
               using Pkg; Pkg.add(["NodeJS", "Franklin"]);
               using NodeJS; run(`$(npm_cmd()) install highlight.js`);
-              using Franklin; optimize()'
+              using Franklin; optimize();
+              cp(joinpath("__site", "feed.xml"), joinpath("__site", "index.xml"))'
       - name: Deploy (preview)
         if: github.event_name == 'pull_request'
         uses: JamesIves/github-pages-deploy-action@releases/v3