(gui #f "running from gui; redirect stderr to log file")
(help #f "show this help.")
(include-book-title-preview #t "include book-titles in preview images.")
(include-eps-fonts #t "Include fonts in separate-system EPS files.")
(job-count #f "Process in parallel")
(log-file #f "redirect output to log FILE.log")
(gui #f "running from gui; redirect stderr to log file")
(help #f "show this help.")
(include-book-title-preview #t "include book-titles in preview images.")
(include-eps-fonts #t "Include fonts in separate-system EPS files.")
(job-count #f "Process in parallel")
(log-file #f "redirect output to log FILE.log")