From 27ad3184c450662e3adb56b4bbd78095bb557a2d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= Date: Mon, 2 Oct 2023 13:11:32 +0200 Subject: [PATCH] Fix some `/distrib` redirections --- pages/distrib/current/refman/changes.html | 2 +- pages/distrib/current/refman/index.html | 2 +- pages/distrib/current/stdlib/index.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pages/distrib/current/refman/changes.html b/pages/distrib/current/refman/changes.html index 7f87d51260..da79af4a02 100644 --- a/pages/distrib/current/refman/changes.html +++ b/pages/distrib/current/refman/changes.html @@ -1,4 +1,4 @@ <#include "incl/macros.html"> - + \ No newline at end of file diff --git a/pages/distrib/current/refman/index.html b/pages/distrib/current/refman/index.html index 0b516e06cf..d013ef328f 100644 --- a/pages/distrib/current/refman/index.html +++ b/pages/distrib/current/refman/index.html @@ -1,4 +1,4 @@ <#include "incl/macros.html"> - + diff --git a/pages/distrib/current/stdlib/index.html b/pages/distrib/current/stdlib/index.html index 036b9b9def..bb50fc26fe 100644 --- a/pages/distrib/current/stdlib/index.html +++ b/pages/distrib/current/stdlib/index.html @@ -1,4 +1,4 @@ <#include "incl/macros.html"> - +