Make the docs optional