texinfo-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: avoiding differences between TeX and other formats at beginning


From: Patrice Dumas
Subject: Re: avoiding differences between TeX and other formats at beginning
Date: Sat, 7 Jul 2012 12:41:13 +0200
User-agent: Mutt/1.5.20 (2009-12-10)

On Wed, Jul 04, 2012 at 08:50:35PM -0400, Karl Berry wrote:
> 
> The thing is, people wouldn't expect, and (I venture to say) don't want
> the full TeX title page in the Top node of their Info output.  Nor do

I am not sure about that one.  A title page is full of vertical spaces, and
once they are not tere anymore, in HTML it looks fine, and I think that 
in Info it would also not be bad.

> they expect or want the Top node text (as it's written in every manual
> today) in the TeX output.  So I'm not sure what we can really do.

Clearly;  But the idea is more or less to remove the need to have
anything different, in the Top node, from the title and some text that
also happens in TeX.  I think it is possible, while still be backward
compatible and allow for the previous styles.

> To mention one detail, rms did not like even suggesting having the
> copyright information in the Top node, let alone having it happen by
> default.  (I disagree with him, but that's irrelevant. :)

I agree with him, as it means that the two outputs are more similar...

> I cannot really wrap my mind around the alternatives right now.  I'd
> rather let it go for 5.0.

I agree, this is clearly something for later, but I wanted to lay start
the issue when it was fresh in my mind after having read the
manual.

-- 
Pat



reply via email to

[Prev in Thread] Current Thread [Next in Thread]