PS_end_page(3) on Linux

The text 2084d01b2319, as Debian 8 (Jessie) shipped it.

End a page

PS_end_page(3) on Linux now