Please could someone tell me how to cut a long file into bits, or extract a piece from a long file, so that they can be watched independently. (Obviously I know that hjsplit can be used to cut a file up but how can one convert the files produced to a viewable form?)