Further tweaks of the buildscripts for user documentation
Authored by: davidfange 2015-05-19
Parent: [r715]
Child: [r717]