emacs-devel
[Top][All Lists]
Advanced

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

Re: Refilling overrides texinfo commands


From: Kim F. Storm
Subject: Re: Refilling overrides texinfo commands
Date: 06 Jul 2003 14:14:46 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50

Richard Stallman <address@hidden> writes:

>     That would have the negative effect of effectively disabling
>     Info-hide-note-references and making the text-hiding "mandatory"
>     instead of having it as an optional feature.  Several people prefer
>     not to have the information in question hidden and they have valid
>     reasons for that.
> 
> You are right.
> 
> So I have gone back to my conclusion of a week ago, that we should
> stop refilling paragraphs in Info.  When some xref text is hidden, the
> line will be shorter.  That looks a little strange, but it is not
> really wrong.  When refilling is done, the results can be positively
> wrong.

I agree.  Rather than completely removing the refilling, I have added
a new variable Info-refill-paragraphs (default disabled) with suitable
warnings about its potential ill effects.

Take a look at the end of "(texinfo)makeinfo in Emacs" for a really
extreme example of how bad the text can look _without_ refilling.



> 
>     I believe that trying to reformat Info files, as currently being
>     attempted, makes no sense.  Info is an output format, not a mark up
>     language.  Texinfo is a mark up language.  So are XML and DocBook.
> 
> Perhaps makeinfo is fast enough now that we could stop installing
> Info files and have them regenerated when users want them.
> If so, we could have an option to generate them in various ways
> (hiding xrefs, showing xrefs, etc).

We could do that always, provided that the result is cached.

However, we would then require specific (very new) versions of
makeinfo to be installed on the user's system.  That would be a
problem for many users.

So I think we should still install info files as a fall-back, and only
require to run makeinfo when some option (like
Info-hide-note-references) is explicitly turned on.

-- 
Kim F. Storm <address@hidden> http://www.cua.dk





reply via email to

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