[pdftex] Default extension in pdftex.def?

[Heiko Oberdiek]

On 19 Dec 2001, Andreas Matthias wrote:

> Is there a reason, why pdftex.def does not have a default
> rule like dvips.def? Wouldn't it be usefull to add such
> a default rule?

First the user can add a default rule (grfguide.ps).
Second some people prefer .pdf files for the default
rule, other have good reasons for mps files, because
then they need not to be renamed from .1, .2, ... to
.mps.

Perhaps the best would be to add some code to
detect the file type.

Yours sincerely
  Heiko <oberdiek at uni-freiburg.de>