pointed to jenkins build

Change-Id: I6fb93cce8dc13a153df10640c2ea35af0bf27f31

build-doc.sh

 #!/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