GLOBAL_VERSION    149 src/prt2pdf/prt2pdf.c static int    GLOBAL_VERSION = 4;
GLOBAL_VERSION   2268 src/prt2pdf/prt2pdf.c                   GLOBAL_VERSION, GLOBAL_VERSION_MIN, GLOBAL_VERSION_PATCH);
GLOBAL_VERSION   2765 src/prt2pdf/prt2pdf.c         (void)fprintf (stderr, "prt2pdf version %d.%d.%d\n", GLOBAL_VERSION, GLOBAL_VERSION_MIN, GLOBAL_VERSION_PATCH);