PS_end_page(3) on Linux

The text d228ffcf7397, as Debian 7 (Wheezy) shipped it.

End a page

PS_end_page(3) on Linux now