[tex-live] source or source.development?

Hans Hagen pragma at wxs.nl
Fri Nov 5 10:06:31 CET 2004


Gerben Wierda wrote:
> I have noticed some bug fixes (e.g. to texconfig which now rebuilds 
> formats after a paper size setting. WHich repository is now the one that 
> is up-to-date. source.development still or source?
> 
> G
> 
> (note: is it a good idea that paper size for pdftex ends up in the 
> format file while for tex+dvips it is set and read runtime by dvips? 
> Personally my first idea would be that such settings indeed should be 
> read by pdftex from a config file and thus not require a format rebuild)

actually it's a document property and as such it should be defined in the 
document anyway; so the predefined valus is just a fallback

Hans

-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
      tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                              | www.pragma-pod.nl
-----------------------------------------------------------------



More information about the tex-live mailing list