Manual: Texinfo file for version 25.1?

Manual: Texinfo file for version 25.1?

[egarrulo]

The manual for Emacs 25.1 is available in some formats, except Texinfo, 
which is stuck at version 24.5:

https://www.gnu.org/software/emacs/manual/emacs-formats.html

Is there a way to get the manual for Emacs 25.1 in Texinfo format? 
Thank you.

Re: Manual: Texinfo file for version 25.1?

[Marco Wahl]

egarrulo <egarrulo@gmail.com> writes:

> The manual for Emacs 25.1 is available in some formats, except
> Texinfo, which is stuck at version 24.5:
>
> https://www.gnu.org/software/emacs/manual/emacs-formats.html
>
> Is there a way to get the manual for Emacs 25.1 in Texinfo format?
> Thank you.

http://git.savannah.gnu.org/cgit/emacs.git/tree/doc/emacs/emacs.texi?h=emacs-25

Re: Manual: Texinfo file for version 25.1?

[egarrulo]

On 15/03/17 22:52, Marco Wahl wrote:
> egarrulo <egarrulo@gmail.com> writes:
>
>> The manual for Emacs 25.1 is available in some formats, except
>> Texinfo, which is stuck at version 24.5:
>>
>> https://www.gnu.org/software/emacs/manual/emacs-formats.html
>>
>> Is there a way to get the manual for Emacs 25.1 in Texinfo format?
>> Thank you.
>
> http://git.savannah.gnu.org/cgit/emacs.git/tree/doc/emacs/emacs.texi?h=emacs-25
>

Thanks, but that only gets the main Tex file, not the included ones. 
All files are available in the source distribution, therefore I have tried:

./configure
make docs

But the build has not generated any new emacs.texi.  Am I doing anything 
wrong?  Has emacs.texi been discontinued?

Thanks.

Re: Manual: Texinfo file for version 25.1?

[egarrulo]

My real problem was to get a *.mobi version for my ebook reader, and I 
have managed to get one by feeding the single HTML to an online 
conversion service, hence I consider my problem to be solved.  Still. 
I'm curious about why the Emacs team seems to have dropped support for 
the Tex version of the manual, after the plain text one.

--

On 15/03/17 22:30, egarrulo wrote:
> The manual for Emacs 25.1 is available in some formats, except Texinfo,
> which is stuck at version 24.5:
>
> https://www.gnu.org/software/emacs/manual/emacs-formats.html
>
> Is there a way to get the manual for Emacs 25.1 in Texinfo format? Thank
> you.

Re: Manual: Texinfo file for version 25.1?

[Robert Thorpe]

egarrulo <egarrulo@gmail.com> writes:

> My real problem was to get a *.mobi version for my ebook reader, and I 
> have managed to get one by feeding the single HTML to an online 
> conversion service, hence I consider my problem to be solved.  Still. 
> I'm curious about why the Emacs team seems to have dropped support for 
> the Tex version of the manual, after the plain text one.

The Emacs manual is written in texinfo format.  You don't see a new texi
file when you build emacs because that file is not generated.  The file
is there already when you download the repository.

The file you browse from within Emacs is the .info file which is
generated from the .texi file.

I think the simple answer is that someone hasn't got around to uploading
the .pdf, .ps.gz and .texi version of the 25.1 manual.

BR,
Robert Thorpe

Re: Manual: Texinfo file for version 25.1?

[egarrulo]

On 19/03/17 15:09, egarrulo wrote:
> On 15/03/17 22:52, Marco Wahl wrote:
>> egarrulo <egarrulo@gmail.com> writes:
>>
>>> The manual for Emacs 25.1 is available in some formats, except
>>> Texinfo, which is stuck at version 24.5:
>>>
>>> https://www.gnu.org/software/emacs/manual/emacs-formats.html
>>>
>>> Is there a way to get the manual for Emacs 25.1 in Texinfo format?
>>> Thank you.
>>
>> http://git.savannah.gnu.org/cgit/emacs.git/tree/doc/emacs/emacs.texi?h=emacs-25
>>
>>
>
> Thanks, but that only gets the main Tex file, not the included ones. All
> files are available in the source distribution, therefore I have tried:
>
> ./configure
> make docs
>
> But the build has not generated any new emacs.texi.  Am I doing anything
> wrong?  Has emacs.texi been discontinued?

Therefore the full emacs.texi that maintainers used to publish, that was 
not generated by the Makefile?  Thanks.