- storeDeviceParameter("ppmsubpixels", buf);
- } else {
- storeDeviceParameter(name,value);
- }
+ storeDeviceParameter(i, "ppmsubpixels", buf);
+ } else if(!strcmp(name, "poly2bitmap")) {
+ i->config_bitmap_optimizing = atoi(value);
+ } else if(!strcmp(name, "bitmapfonts") || !strcmp(name, "bitmap")) {
+ i->config_full_bitmap_optimizing = atoi(value);
+ } else if(!strcmp(name, "multiply")) {
+ multiply = atoi(value);
+ } else if(!strcmp(name, "help")) {
+ printf("\nPDF device global parameters:\n");
+ printf("fontdir=<dir> a directory with additional fonts\n");
+ printf("font=<filename> an additional 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("languagedir=<dir> Add an xpdf language directory\n");
+ printf("multiply=<times> Render everything at <times> the resolution\n");
+ printf("poly2bitmap Convert graphics to bitmaps\n");
+ printf("bitmap Convert everything to bitmaps\n");
+ }