GLOBAL_PAGE_WIDTH  134 src/prt2pdf/prt2pdf.c static float  GLOBAL_PAGE_WIDTH;
GLOBAL_PAGE_WIDTH  381 src/prt2pdf/prt2pdf.c       width = GLOBAL_PAGE_WIDTH;
GLOBAL_PAGE_WIDTH  386 src/prt2pdf/prt2pdf.c       width = GLOBAL_PAGE_WIDTH - GLOBAL_PAGE_MARGIN_LEFT - GLOBAL_PAGE_MARGIN_RIGHT;
GLOBAL_PAGE_WIDTH  454 src/prt2pdf/prt2pdf.c       xvalue = GLOBAL_PAGE_MARGIN_LEFT + ((GLOBAL_PAGE_WIDTH - GLOBAL_PAGE_MARGIN_LEFT - GLOBAL_PAGE_MARGIN_RIGHT) / 2.0)
GLOBAL_PAGE_WIDTH 2258 src/prt2pdf/prt2pdf.c   (void)printf ("/MediaBox [ 0 0 %g %g ]\n", GLOBAL_PAGE_WIDTH, GLOBAL_PAGE_DEPTH);
GLOBAL_PAGE_WIDTH 2539 src/prt2pdf/prt2pdf.c   GLOBAL_PAGE_WIDTH         = 792.0; /* Default is 72 points per inch */
GLOBAL_PAGE_WIDTH 2665 src/prt2pdf/prt2pdf.c         GLOBAL_PAGE_WIDTH = strtod (optarg, NULL) * GLOBAL_UNIT_MULTIPLIER;