message: add redirection to
diff: @@ -26,6 +26,20 @@ jobs:
  with:
  command: doc
  args: -Z build-std=core,alloc,panic_abort --target x86_64-unknown-hermit-kernel
  + - name: Generate index.html
  + run: |
  + cat > target/x86_64-unknown-hermit/doc/index.html <<EOL
  + <!doctype html>
  + <html>
  + <head>
  + <title>Redirect!</title>
  + <meta http-equiv="refresh" content="0; url=https://hermitcore.github.io/libhermit-rs/hermit/" />
  + </head>
  + <body>
  + <p><a href="https://hermitcore.github.io/libhermit-rs/hermit/">Redirect</a></p>
  + </body>
  + </html>
  + EOL
  - name: Deploy documentation
  if: success()
  uses: crazy-max/ghaction-github-pages@v1
  