Further refinements. Standard distribution will not include any manual
components. But script does copy out .dvi files to /tmp directory
to have something else done to them.