PS_end_page(3) on Linux

The text 1057e1cfe9de, as Debian 3.1 (Sarge) shipped it.

End a page

PS_end_page(3) on Linux now