Commit Graph

17 Commits

Author SHA1 Message Date
David Hewitt 14d1d2a9ee
docs: use `lychee` to check link URLs (#3941)
* guide: install `mdbook-linkcheck`

* use `shutil` to copy license files

* move from `mdbook-linkcheck` to `lychee`

* clean guide & doc build products before build

* fix more broken links

* review: mejrs
2024-03-08 14:10:47 +00:00
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 13db7348a6 netlify: fix mdbook update 2022-11-30 08:31:00 +00: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 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