From 5086595d59671cd01cef839b1efbe9206a747c48 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Thu, 29 Aug 2019 14:15:35 +0200 Subject: copy PDFs --- taler-docbuild/update_docs.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'taler-docbuild') 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/ -- cgit v1.2.3