Build documentation

Merge pull request #14001 from nextcloud/fix/add-mail-section #31761

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
user_manual-en	22s
developer_manual	38s
user_manual	4m 2s
admin_manual	40s
	5m 42s