Translations:Manual:$wgDjvuPostProcessor/8/en

If your post-processor outputs anything other than .jpg files, you need to set $DjvuOutputExtension as well.