commit 1942b94e85e3485ab02bb08977a9cf8cc332791b parent f2ac60245f95e97a588e394bca02472cf2446f68 Author: Florian Dold <florian.dold@gmail.com> Date: Thu, 29 Aug 2019 13:58:35 +0200 also generate 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 @@ -13,6 +13,7 @@ fetch () { cd $HOME/docs fetch make html +make latexpdf mkdir -p $HOME/build/docs/html/