Re: makeinfo 4.7

[Eli Zaretskii]

> Cc: address@hidden,  address@hidden
> From: David Kastrup <address@hidden>
> Date: Mon, 28 Aug 2006 01:03:59 +0200
> 
> >> That is nothing an inexperienced user would do.
> >
> > There's nothing in "make info" that requires any particular
> > experience, IMO.
> 
> "make info" will not do anything in a released tarball unless you
> touched the manual sources.

The manual is mostly plain text, so there's no special experience
required to touch that, either.  For example, suppose one finds a typo
or stale info.

> >> > On top of that, a large number of users who aren't developers are
> >> > using the CVS code, where you must have Texinfo to produce the
> >> > manual.
> >> 
> >> Again, this is nothing an inexperienced user would do.
> >
> > I think you should check your facts.  It is no longer true that only
> > hackers use the CVS code.
> 
> Inexperienced users use CVS code somebody else compiled.

I don't think this is true.  I'd be willing to change my mind if
presented with statistics, though.