1 files changed, 4 insertions, 0 deletions
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 ..