GLOBAL_PAGE_HELP  142 src/prt2pdf/prt2pdf.c static int    GLOBAL_PAGE_HELP = 0;
GLOBAL_PAGE_HELP 2329 src/prt2pdf/prt2pdf.c       if (GLOBAL_PAGE_HELP)
GLOBAL_PAGE_HELP 2733 src/prt2pdf/prt2pdf.c         GLOBAL_PAGE_HELP = 1;