Dos utility to print the DESI-III manual.