David Hewitt
0e304b1b7f
add http headers to help search engines index the docs
2023-06-21 23:10:09 +01:00
David Hewitt
05af0b2f42
fixup styles for internal doc banner
2023-06-08 22:04:48 +01:00
Adam Reichold
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
David Hewitt
71f02ff0bb
netlify: fix root redirect
2023-01-11 00:44:14 +00:00
David Hewitt
68e2054fc4
netlify: generate all redirects automatically
2023-01-10 08:26:02 +00:00
bors[bot]
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
David Hewitt
70c3260262
remove fallback redirect for netlify -> gh-pages
2023-01-08 19:58:56 +00:00
David Hewitt
b6c71a8525
change latest URL from netlify proxy to redirect
2023-01-08 19:55:24 +00:00
David Hewitt
20a7087ee0
add gh-pages content directly in netlify site
2022-12-26 12:47:57 +00:00
David Hewitt
56f132599b
netlify: remove trailing slash rewrites
2022-12-18 08:49:45 +00:00
David Hewitt
fe14d760a1
netlify: add some missing redirects
2022-12-18 07:54:55 +00:00
David Hewitt
13db7348a6
netlify: fix mdbook update
2022-11-30 08:31:00 +00:00
David Hewitt
548e90fcec
release: 0.17.3
2022-11-01 20:47:46 +00:00
David Hewitt
bd40011e93
release: 0.17.2
2022-10-04 08:13:53 +01:00
David Hewitt
bb99c98ec1
use towncrier to generate CHANGELOG
2022-09-08 07:58:53 +01:00
David Hewitt
5c070ae473
netlify: fix main doc redirect
2022-09-07 07:46:24 +01:00
messense
1698c84c00
netlify: redirect to main/ for deploy previews
2022-09-07 10:11:09 +08:00
David Hewitt
caaf7bbda7
release: 0.17.1
2022-08-28 08:27:56 +01:00
David Hewitt
e511b268b1
netlify: fix redirects
2022-08-24 10:25:58 +01:00
David Hewitt
04c1ac87f1
release: 0.17.0
2022-08-23 21:21:19 +01:00
David Hewitt
cc0833aef7
netlify: add badge, use github-pages domain rather than pyo3.rs
2022-08-21 18:13:27 +01:00
David Hewitt
e0b75768e4
netlify: add banner back to internal docs
2022-08-19 15:35:53 +01:00
David Hewitt
b70318fd1b
guide: deployment to netlify
2022-08-19 12:46:56 +01:00
