reopen 420898
retitle 420898 Use /etc/papersize to configure texinfo.cnf
thanks

Hi Christophe,

On Mit, 25 Apr 2007, Christophe Rhodes wrote:
> > And no, the tex program will NOT respect /etc/papersize. Never.
> 
> Thank you for this; would you care to explain why?

Short story: There is no papersize in the TeX world, pdftex knows it,
but you have to set it explicitely.

We are currently working (we=Debian TeX Task Force) to solve this
problem in a more general way, ie for all TeX related problems,
including texinfo etc. But this needs quite a lot of work since not all
paper sizes useable for libpaper are acceptable for
TeX/dvipdf*/dvips/xdvi/whatever.

But your suggestion about texinfo.cnf gave me the idea that we could do
the following:
- at first install time install a file
        /etc/texmf/tex/whatever/texinfo.cnf
  which contains:
        - if papersize=a4       @afourpaper
        - if papersize=a5       @afivepaper
        - if papersize=letter or something else: only comments
- at upgrade time treat it like a normal config file
- at paperconf call time update update the file in the same way

Of course there are loads of problems with this I would have to think
about (paperconf -> a4, automatically set to @afourpaper, sysadm sets it
manually to @letterpaper or nothing, paperconf is called and set to
letter, etc etc).

Best wishes

Norbert

-------------------------------------------------------------------------------
Dr. Norbert Preining <[EMAIL PROTECTED]>                    Università di Siena
Debian Developer <[EMAIL PROTECTED]>                         Debian TeX Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
-------------------------------------------------------------------------------
There are of course many problems connected with life, of
which some of the most popular are `Why are people born?'
Why do they spend so much of the
intervening time wearing digital watches?'
                 --- The Book.
                 --- Douglas Adams, The Hitchhikers Guide to the Galaxy


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to