home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.text.tex
- Path: sparky!uunet!kithrup!stanford.edu!ames!saimiri.primate.wisc.edu!zaphod.mps.ohio-state.edu!malgudi.oar.net!news.ans.net!cmcl2!sbcs.sunysb.edu!hanche
- From: hanche@ams.sunysb.edu (Harald Hanche-Olsen)
- Subject: Re: how many pages in a dvi file
- In-Reply-To: elgaard@diku.dk's message of 18 Nov 92 10: 25:16 GMT
- Message-ID: <HANCHE.92Nov18094811@ptolemy.ams.sunysb.edu>
- Sender: usenet@sbcs.sunysb.edu (Usenet poster)
- Nntp-Posting-Host: 129.49.6.37
- Organization: University at Stony Brook, NY
- References: <721931672.294909.BNB@MATH.AMS.ORG> <1992Nov18.102516.4447@odin.diku.dk>
- Date: Wed, 18 Nov 1992 14:48:11 GMT
- Lines: 19
-
-
- Niels> 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.
-
- Niels> What about:
-
- Niels> >dviselect a1.dvi 0: /dev/null
- Niels> [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
- Niels> Wrote 12 pages, 34752 bytes
-
- That will neglect pages with negative numbers, if any. Just supplying
- : as the page range should take care of that little problem. (BTW,
- you are supplying the arguments to dviselect in a different order than
- suggested by the man page. Curiously, it does work).
-
- - Harald
-