Fix schedulers header and disable manpage generation

Change-Id: I1d9532ce514481a44e9247a19648e839999865b6