pr: ensure the page header line is of the required format
commit67d3e263504115144380dfaffd41c9cef3cf68a4
authorEric Blake <ebb9@byu.net>
Thu, 7 Jan 2010 03:57:40 +0000 (6 20:57 -0700)
committerEric Blake <ebb9@byu.net>
Thu, 7 Jan 2010 04:07:23 +0000 (6 21:07 -0700)
tree5cf755723247f15a892bdaf54227e3833c9ebfbd
parent72a0a8264d1eeacfc92231e71d75d2eb7ee3e08f
pr: ensure the page header line is of the required format

Before this change, with too long a file name, the name would
abut the date field on the left and possibly also the "Page N"
field on the right, rather than leaving a one-space separator
in each case.  Fixes a regression introduced on Mar 6 2009,
by commit a4053c5291d5797734b3e4f042f9e1adf3944fd6

* src/pr.c (print_header): Ensure that there is at least one
space before and after the file name part of the header line.
* NEWS: Mention it.
* tests/pr/W20l24f-ll: s/xPage/ x Page/.
* THANKS: Update.
Reported by Denis McKeon, in https://savannah.gnu.org/bugs/?28492.
NEWS
THANKS
src/pr.c
tests/pr/W20l24f-ll