gri_merge(1) on Linux

The text 70693676462f, as Debian 3.0 (Woody) shipped it.

merge multiple Gri output files into a single PostScript file.

gri_merge(1) on Linux now