commit 5086595d59671cd01cef839b1efbe9206a747c48 parent 16854b3fea5cc3996980573c5d0807948fccabc7 Author: Florian Dold <florian.dold@gmail.com> Date: Thu, 29 Aug 2019 14:15:35 +0200 copy PDFs Diffstat:
| M | taler-docbuild/update_docs.sh | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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/