0e304b1b7f
add http headers to help search engines index the docs
2023-06-21 23:10:09 +01:00
05af0b2f42
fixup styles for internal doc banner
2023-06-08 22:04:48 +01:00
b816d4d561
Drop the xtask helper as it is superseded by Nox.
...
While the xtask code base is better engineered than our slightly messy Nox
manifest, all functionality is available via Nox including some that is not
available via xtask. Finally, only the Nox sessions are used in the CI by now so
that xtask does not see regular automated usage.
2023-06-05 17:41:41 +02:00
71f02ff0bb
netlify: fix root redirect
2023-01-11 00:44:14 +00:00
68e2054fc4
netlify: generate all redirects automatically
2023-01-10 08:26:02 +00:00
34b9445faf
Merge #2869
...
2869: change latest URL from netlify proxy to redirect r=davidhewitt a=davidhewitt
Now that we serve all gh-pages content in netlify, it's nicer to have this as a proper redirect rather than a rewrite. Then the user can see what version of the docs they have landed on.
Closes #2867
Co-authored-by: David Hewitt <1939362+davidhewitt@users.noreply.github.com>
2023-01-08 20:54:43 +00:00
70c3260262
remove fallback redirect for netlify -> gh-pages
2023-01-08 19:58:56 +00:00
b6c71a8525
change latest URL from netlify proxy to redirect
2023-01-08 19:55:24 +00:00
20a7087ee0
add gh-pages content directly in netlify site
2022-12-26 12:47:57 +00:00
56f132599b
netlify: remove trailing slash rewrites
2022-12-18 08:49:45 +00:00
fe14d760a1
netlify: add some missing redirects
2022-12-18 07:54:55 +00:00
13db7348a6
netlify: fix mdbook update
2022-11-30 08:31:00 +00:00
548e90fcec
release: 0.17.3
2022-11-01 20:47:46 +00:00
bd40011e93
release: 0.17.2
2022-10-04 08:13:53 +01:00
bb99c98ec1
use towncrier to generate CHANGELOG
2022-09-08 07:58:53 +01:00
5c070ae473
netlify: fix main doc redirect
2022-09-07 07:46:24 +01:00
1698c84c00
netlify: redirect to `main/` for deploy previews
2022-09-07 10:11:09 +08:00
caaf7bbda7
release: 0.17.1
2022-08-28 08:27:56 +01:00
e511b268b1
netlify: fix redirects
2022-08-24 10:25:58 +01:00
04c1ac87f1
release: 0.17.0
2022-08-23 21:21:19 +01:00
cc0833aef7
netlify: add badge, use github-pages domain rather than pyo3.rs
2022-08-21 18:13:27 +01:00
e0b75768e4
netlify: add banner back to internal docs
2022-08-19 15:35:53 +01:00
b70318fd1b
guide: deployment to netlify
2022-08-19 12:46:56 +01:00
David Hewitt