printf("font=<filename> an dditional font filename\n");
printf("pages=<range> the range of pages to convert (example: pages=1-100,210-)\n");
printf("zoom=<dpi> the resultion (default: 72)\n");
printf("font=<filename> an dditional font filename\n");
printf("pages=<range> the range of pages to convert (example: pages=1-100,210-)\n");
printf("zoom=<dpi> the resultion (default: 72)\n");