PS_end_page(3) on Linux

The text d697c9391dc8, as Debian 5.0 (Lenny) shipped it.

End a page

PS_end_page(3) on Linux now