diff options
author | Christian Grothoff <christian@grothoff.org> | 2023-01-10 13:36:02 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2023-01-10 13:36:02 +0100 |
commit | 1df72de087db8e2a0696fc5d8b8c3b1f8f3c8e80 (patch) | |
tree | a923182e74f864f2400d8ea64198cfba3e4883ca /contrib/update-pp.sh | |
parent | b41ffd1a1af24efc244f7ed95dcc13c4b77bc56e (diff) | |
parent | 0cf46d8e5995f84a642795ddf214776ed8d4077f (diff) | |
download | exchange-1df72de087db8e2a0696fc5d8b8c3b1f8f3c8e80.tar.xz |
Merge branch 'master' of git+ssh://git.taler.net/exchange
Diffstat (limited to 'contrib/update-pp.sh')
-rwxr-xr-x | contrib/update-pp.sh | 4 |
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 .. |