Merge pull request #239 from japaric/fix-things

fix redirects and CNAME
This commit is contained in:
Jorge Aparicio 2019-09-15 19:41:50 +00:00 committed by GitHub
commit 7039f62911
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 4 deletions

View file

@ -11,8 +11,10 @@ main() {
# build latest docs # build latest docs
cp -r target/doc $td/api cp -r target/doc $td/api
sed 's|URL|rtfm/index.html|g' redirect.html > $td/api/index.html
mkdir $td/book/ mkdir $td/book/
cp redirect.html $td/index.html sed 's|URL|book/en|g' redirect.html > $td/index.html
for lang in ${langs[@]}; do for lang in ${langs[@]}; do
( cd book/$lang && mdbook build ) ( cd book/$lang && mdbook build )
cp -r book/$lang/book $td/book/$lang cp -r book/$lang/book $td/book/$lang
@ -30,16 +32,21 @@ main() {
pushd $src pushd $src
cargo doc || cargo doc --features timer-queue cargo doc || cargo doc --features timer-queue
cp -r target/doc $td/$prefix/api cp -r target/doc $td/$prefix/api
sed 's|URL|rtfm/index.html|g' redirect.html > $td/$prefix/api/index.html
for lang in ${langs[@]}; do for lang in ${langs[@]}; do
( cd book/$lang && mdbook build ) ( cd book/$lang && mdbook build )
cp -r book/$lang/book $td/$prefix/book/$lang cp -r book/$lang/book $td/$prefix/book/$lang
cp LICENSE-* $td/$prefix/book/$lang/ cp LICENSE-* $td/$prefix/book/$lang/
done done
sed 's|URL|book/en|g' redirect.html > $td/$prefix/index.html
popd popd
rm -rf $src rm -rf $src
done done
# forward CNAME file
cp CNAME $td/
mkdir ghp-import mkdir ghp-import
curl -Ls https://github.com/davisp/ghp-import/archive/master.tar.gz | curl -Ls https://github.com/davisp/ghp-import/archive/master.tar.gz |
tar --strip-components 1 -C ghp-import -xz tar --strip-components 1 -C ghp-import -xz

View file

@ -3,14 +3,14 @@
<html lang="en-US"> <html lang="en-US">
<head> <head>
<meta charset="UTF-8"> <meta charset="UTF-8">
<meta http-equiv="refresh" content="0; url=https://rtfm-rs.github.io/cortex-m-rtfm/book/en/"> <meta http-equiv="refresh" content="0; url=URL">
<script type="text/javascript"> <script type="text/javascript">
window.location.href = "https://rtfm-rs.github.io/cortex-m-rtfm/book/en/" window.location.href = "URL"
</script> </script>
<title>Page Redirection</title> <title>Page Redirection</title>
</head> </head>
<body> <body>
<!-- Note: don't tell people to `click` the link, just tell them that it is a link. --> <!-- Note: don't tell people to `click` the link, just tell them that it is a link. -->
If you are not redirected automatically, follow this <a href='https://rtfm-rs.github.io/cortex-m-rtfm/book/en/'>link to example</a>. If you are not redirected automatically, follow this <a href='URL'>link</a>.
</body> </body>
</html> </html>