Different shell scripts for working with DjVu file format