(defun do-TeXify ()
   "TeXify the current file."
   (interactive)
   (TeX-command "TeXify" 'TeX-master-file))