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