diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-08-29 14:15:35 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-08-29 14:15:35 +0200 |
commit | 5086595d59671cd01cef839b1efbe9206a747c48 (patch) | |
tree | 481f0afcbceed099984bbb5a7f07b68d7934e59c | |
parent | 16854b3fea5cc3996980573c5d0807948fccabc7 (diff) | |
download | deployment-5086595d59671cd01cef839b1efbe9206a747c48.tar.gz deployment-5086595d59671cd01cef839b1efbe9206a747c48.tar.bz2 deployment-5086595d59671cd01cef839b1efbe9206a747c48.zip |
copy PDFs
-rwxr-xr-x | taler-docbuild/update_docs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/taler-docbuild/update_docs.sh b/taler-docbuild/update_docs.sh index 8109f87..8f14ddf 100755 --- a/taler-docbuild/update_docs.sh +++ b/taler-docbuild/update_docs.sh @@ -18,4 +18,5 @@ make latexpdf mkdir -p $HOME/build/docs/html/ cp -r _build/html/* $HOME/build/docs/html/ +cp -r _build/latex/*.pdf $HOME/build/docs/pdf/ |