Manual:$wgDjvuPostProcessor
From MediaWiki.org
| DjVu: $wgDjvuPostProcessor | |
|---|---|
| Path of the DJVU post processor. |
|
| Introduced in version: | 1.8.0 (r16036) |
| Removed in version: | still in use |
| Allowed values: | (string) |
| Default value: | 'ppmtojpeg' |
Other settings: Alphabetical | By Function
Details [edit]
Path of the DJVU post processor. May include command line options
The default: 'ppmtojpeg' is used, since ddjvu generates ppm output.
See also [edit]
| Language: | English • 日本語 |
|---|
