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