Package: tetex-bin
Version: 2.0.2-15
Severity: minor
File: /usr/share/man/man1/pdftex.1.gz
SYNOPSIS
pdftex [options] [commands]
is not enough to get a person started, and indeed omits the filename
that can be seen here:
$ pdftex --help
Usage: pdftex [OPTION]... [TEXNAME[.tex]] [COMMANDS]
Nor does one see
Run pdfTeX on TEXNAME, usually creating TEXNAME.pdf.
etc.