dvichk – List the page numbers in a DVI file
|License||GNU General Public License|
Maybe you are interested in the following packages as well.
- dvimerge: Merge two DVI files together
- dvibook: Utilities for manipulating DVI files
- dvi-economic: Save paper while printing
- catdvi: A DVI to plain text translator