readthedocs: redirect users from the project's readthedocs.org page to the new location

This commit is contained in:
David Vašek 2024-05-23 14:21:45 +02:00
parent 4a735a2c29
commit b56c5783ca
2 changed files with 29 additions and 0 deletions

15
.readthedocs.yaml Normal file
View file

@ -0,0 +1,15 @@
# .readthedocs.yaml
# Read the Docs configuration file
# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
# See also https://docs.readthedocs.io/en/stable/guides/reproducible-builds.html
# Required
version: 2
# Set the version of Python and other tools you might need
build:
os: ubuntu-22.04
commands:
- mkdir --parents $READTHEDOCS_OUTPUT/html/
- cp --recursive .readthedocs_page/* $READTHEDOCS_OUTPUT/html/

View file

@ -0,0 +1,14 @@
<!DOCTYPE html>
<html lang="en" data-content_root="./">
<head>
<title>Knot DNS documentation isn't here.</title>
</head>
<body>
<h3>
<p>All <a href="https://www.knot-dns.cz/">Knot DNS</a> documentation can be found at:</p>
<a href="https://www.knot-dns.cz/documentation/">https://www.knot-dns.cz/documentation/</a>
</h3>
</body>
</html>