Commit c54a2154001cf9cc0837ded6411d88584ea07c39
2022-01-31T02:30:11
maint: include versioned manual in update When publishing the updated manual, include the versioned copy too, and have their index.html link to the full version index. * maintainer/maint.mk: Copy manual to manual/$(VERSION)/, and insert index-full.html link into index.html.