Hi Karl,

Small problem in commit a6d82e9e... ${DOC_GUIDE_FILES) has to be ${DOC_GUIDE_FILES}...

Regard, Geoff