tree bd0f695ebf6db71d3fb111c5f65cfa681ce9c065
parent 79d838d31696542105a4185758f23db13d8ea045
author Stefan Tauner <stefan.tauner@gmx.at> 1506811745 +0200
committer Stefan Tauner <stefan.tauner@gmx.at> 1507080072 +0000

Add modification date to manpage header instead of the section

"System Manager's Manual" or similar is way less interesting.

Change-Id: I45c5d6a2316c51a57a49fd010682dc3f0f915382
Signed-off-by: Stefan Tauner <stefan.tauner@gmx.at>
Reviewed-on: https://review.coreboot.org/21822
Reviewed-by: Nico Huber <nico.h@gmx.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>