Hi Karl, Small problem in commit a6d82e9e... ${DOC_GUIDE_FILES) has to be ${DOC_GUIDE_FILES}... Regard, Geoff