PS_end_page(3) on Linux

The text 877822ae87c5, as Debian 4.0 (Etch) shipped it.

End a page

PS_end_page(3) on Linux now