commit 25fb9f68168cad66d910ede213fa4a814da40a78 parent 21ee5bdf21f2806aaa87dfbcaa87495d91fbcaf0 Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 9 Aug 2026 13:19:55 +0200 per language Diffstat:
| M | worker-sites/update_pepsi_docs.sh | | | 11 | +++++++++++ |
1 file changed, 11 insertions(+), 0 deletions(-)
diff --git a/worker-sites/update_pepsi_docs.sh b/worker-sites/update_pepsi_docs.sh @@ -26,6 +26,17 @@ fetch make docs-html mv docs/manual/_build/html/ $HOME/pepsi.taler.net.wip +# Per-language entry points: /<lang>/ -> /<lang>/<newest version>/. 'make +# docs-html' only writes a redirect at the root of the tree, but the nginx +# Accept-Language map redirects to /<lang>/, which would otherwise 404. The +# version is read back from the built tree, so neither this script nor the +# nginx configuration has to be touched when DOC_VERSION changes. +for langdir in $HOME/pepsi.taler.net.wip/*/; do + version=$(ls "$langdir" | sort -V | tail -n1) + printf '<!DOCTYPE html>\n<html><head><meta charset="utf-8">\n<meta http-equiv="refresh" content="0; url=%s/index.html">\n<link rel="canonical" href="%s/index.html">\n</head><body>\nRedirecting to the <a href="%s/index.html">Pepsi manual</a>.\n</body></html>\n' \ + "$version" "$version" "$version" > "${langdir}index.html" +done + chmod -R g+rx $HOME/pepsi.taler.net.wip/ # Clean up 'ancient' version (before previous)