mquery DVI_DOCS "Install DVI formatted documents?" n 
mquery PDF_DOCS "Install PDF formatted documents?" n 
mquery INFO_DOCS "Install INFO formatted documents?" n 
