} else if(!strcmp(name, "help")) {
printf("\nPDF device global parameters:\n");
printf("fontdir=<dir> a directory with additional fonts\n");
- printf("font=<filename> an dditional font filename\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");
}
parameter_t*p = device_config;
while(p) {
parameter_t*next = p->next;
- p->next = 0;free(p);
+ p->next = 0;delete p;
p = next;
}
delete globalParams;globalParams = 0;
+ free(src);
}
gfxsource_t*gfxsource_pdf_create()