doc/genps.pl: move all formatting options to the front
commitb1778ef7ddd2fe94f0367eaa254a39ed6abd0721
authorH. Peter Anvin <hpa@linux.intel.com>
Fri, 14 Apr 2017 00:12:31 +0000 (13 17:12 -0700)
committerH. Peter Anvin <hpa@linux.intel.com>
Fri, 14 Apr 2017 00:14:09 +0000 (13 17:14 -0700)
tree25082d346954b0a186376ec31b25632d98661931
parentf13effec22fe78e32b0802dbd66610ed4c80c2a0
doc/genps.pl: move all formatting options to the front

Move all the formatting options to the beginning of the file.

Signed-off-by: H. Peter Anvin <hpa@linux.intel.com>
doc/genps.pl