Extract pages from DVI files.