aboutsummaryrefslogtreecommitdiff
path: root/contrib/update-tos.sh
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2023-01-06 22:22:14 +0100
committerChristian Grothoff <christian@grothoff.org>2023-01-06 22:22:21 +0100
commit6cb8b68bd08ddb5edff396e293b6776e0e989ded (patch)
tree5dc061496ab7fcd4b0046c0e26ffdf2a6ed95505 /contrib/update-tos.sh
parent28c3ae47de7428b4f7019db9158390f8d14ca93d (diff)
support md in TOS
Diffstat (limited to 'contrib/update-tos.sh')
-rwxr-xr-xcontrib/update-tos.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/update-tos.sh b/contrib/update-tos.sh
index 67db7c031..dcf9e3919 100755
--- a/contrib/update-tos.sh
+++ b/contrib/update-tos.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 ..