Redirect docs.iced.rs to actual docs

This commit is contained in:
Héctor Ramón Jiménez 2024-05-07 21:38:31 +02:00
parent 18b2f8845e
commit 247870f83b
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
2 changed files with 15 additions and 0 deletions

View file

@ -27,6 +27,8 @@ jobs:
-p iced
- name: Write CNAME file
run: echo 'docs.iced.rs' > ./target/doc/CNAME
- name: Copy redirect file as index.html
run: cp docs/redirect.html target/doc/index.html
- name: Publish documentation
if: github.ref == 'refs/heads/master'
uses: peaceiris/actions-gh-pages@v3

13
docs/redirect.html Normal file
View file

@ -0,0 +1,13 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Redirecting...</title>
<meta http-equiv="refresh" content="0; URL='/iced/'" />
</head>
<body>
<p>If you are not redirected automatically, follow this <a href="/iced/">link</a>.</p>
</body>
</html>