[pdftex] Default extension in pdftex.def?
oberdiek at ruf.uni-freiburg.de
Wed Dec 19 21:42:24 CET 2001
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
Perhaps the best would be to add some code to
detect the file type.
Heiko <oberdiek at uni-freiburg.de>
More information about the pdftex