don't publish dev/.doctrees