Reuse old 'make doc'.