From 5928cdccf7d04bdd970ee99a480fa3dc8796b935 Mon Sep 17 00:00:00 2001 From: Felix Sidokhine <felix.sidokhine@savoirfairelinux.com> Date: Wed, 8 Jul 2020 19:43:26 +0300 Subject: [PATCH] pointed to jenkins build Change-Id: I6fb93cce8dc13a153df10640c2ea35af0bf27f31 --- build-doc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-doc.sh b/build-doc.sh index 0aea5d16..1958929f 100755 --- a/build-doc.sh +++ b/build-doc.sh @@ -1,5 +1,5 @@ #!/bin/bash mkdir -p jams cd userguide || exit -mkdocs build +/var/lib/jenkins/.local/bin/mkdocs build cp site/pdf/combined.pdf ../jams/userguide.pdf \ No newline at end of file -- GitLab