fix for make doc
fix for make with documentation