Revert "Remove documentation generation"

This reverts commit bfe09a1fc15fddabb8640f40ac88a68cc94b523b.