Manual:How to use DjVu with MediaWiki

Great mystery... and any explanation. If you want to help (if so, you are probably not an informaticien), write here what you know.


 * Manual:$wgDjvuDump - Path of the djvudump executable.
 * Manual:$wgDjvuOutputExtension - File extension for the DJVU post processor output.
 * Manual:$wgDjvuPostProcessor - Path of the DJVU post processor.
 * Manual:$wgDjvuRenderer - Path of the ddjvu DJVU renderer.
 * Manual:$wgDjvuToXML - Path of the djvutoxml executable.

Other mystery of the DjVu

 * Extension:Proofread Page