maint-bin: Auto export the manual.