From 166ddea9de8d80c38c094b028e2f0d2cd12433d9 Mon Sep 17 00:00:00 2001
From: Patrice Chalin <pchalin@gmail.com>
Date: Fri, 29 Oct 2021 10:44:58 -0400
Subject: [PATCH] Support repo links via page rename for index to README

---
 scripts/adjust-spec-pages.pl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/adjust-spec-pages.pl b/scripts/adjust-spec-pages.pl
index 1d7a014d6122..0595a61321d8 100755
--- a/scripts/adjust-spec-pages.pl
+++ b/scripts/adjust-spec-pages.pl
@@ -20,6 +20,11 @@ ()
   $linkTitle = 'FaaS' if $ARGV =~ /faas-metrics.md$/;
   $linkTitle = 'HTTP' if $ARGV =~ /http-metrics.md$/;
   print "linkTitle: $linkTitle\n" if $linkTitle;
+  if ($ARGV =~ /_index.md$/) {
+    print "path_base_for_github_subdir:\n";
+    print "  from: content/en/docs/specification/(.*?)/_index.md\n";
+    print "  to: \$1/README.md\n";
+  }
   print "---\n";
 }