repair distcheck, distribute manual sources also for --disable-doc