home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!math.fu-berlin.de!unidui!Germany.EU.net!mcsun!sunic!dkuug!diku!elgaard
- From: elgaard@diku.dk (Niels Elgaard Larsen)
- Newsgroups: comp.text.tex
- Subject: Re: how many pages in a dvi file
- Message-ID: <1992Nov18.102516.4447@odin.diku.dk>
- Date: 18 Nov 92 10:25:16 GMT
- References: <721931672.294909.BNB@MATH.AMS.ORG>
- Sender: elgaard@trud.diku.dk
- Organization: Department of Computer Science, U of Copenhagen
- Lines: 22
-
- BNB@MATH.AMS.ORG (bbeeton) writes:
-
- >we frequently receive dvi files that are to be printed on one of
- >our typesetters. it would be quite useful to be able to determine
- >quickly how many pages are in a particular dvi file.
-
- >it shouldn't be difficult to extract from dvitype the code to
- >perform this check. but (1) we don't want to reinvent any wheels,
- >and (2) we haven't really got the time. if anyone out there has
- >already created such a utility, we'd really appreciate learning
- >about it.
-
- What about:
-
- >dviselect a1.dvi 0: /dev/null
- [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
- Wrote 12 pages, 34752 bytes
- --
- Niels Elgaard Larsen
- Institute of Computer Science,
- University of Copenhagen
- E-mail: elgaard@diku.dk
-