yyy1              348 src/prt2pdf/prt2pdf.c   float yyy1;
yyy1              390 src/prt2pdf/prt2pdf.c   yyy1 = GLOBAL_PAGE_DEPTH - GLOBAL_PAGE_MARGIN_TOP - height - 0.22 * GLOBAL_FONT_SIZE;
yyy1              394 src/prt2pdf/prt2pdf.c     yyy1 -= height; /* Shift the starting point down by one bar */
yyy1              396 src/prt2pdf/prt2pdf.c   while (yyy1 >= (GLOBAL_PAGE_MARGIN_BOTTOM - height))
yyy1              398 src/prt2pdf/prt2pdf.c       (void)fprintf (stdout, "%f %f %f %f re f\n", x1, yyy1, width, height);
yyy1              399 src/prt2pdf/prt2pdf.c       yyy1 = yyy1 - step * height;