verbose flag to see what normal compilation is doing differently than doc gen