From 6cb8b68bd08ddb5edff396e293b6776e0e989ded Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 6 Jan 2023 22:22:14 +0100
Subject: support md in TOS

---
 contrib/update-pp.sh | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'contrib/update-pp.sh')

diff --git a/contrib/update-pp.sh b/contrib/update-pp.sh
index 948f6af35..728216c58 100755
--- a/contrib/update-pp.sh
+++ b/contrib/update-pp.sh
@@ -29,6 +29,10 @@ do
         else
             mv _build/$f/${VERSION}.$f $l/${VERSION}.$f
         fi
+        if test $f = "txt"
+        then
+            cp $l/${VERSION}.$f $l/${VERSION}.md
+        fi
     done
 done
 cd ..
-- 
cgit v1.2.3