Add epub output for documentation

  Hi,

Attached is a patch that uses the newly added support for producing epub in
Texinfo.


TESTING:

I have built and viewed the epub on calibre and everything appears to work
well.

I have also tested building with an older version of texinfo and it does
not interfere with normal docs building.


FSF COPYRIGHT:

I'm not sure if this is over the threshold for exemption, but I have
completed paperwork for emacs and I am happy to do so again for GDB if
needed


Thanks,

Jeff Walsh
  

> Date: Wed, 9 Nov 2022 18:54:51 +1100
> From: Fejfighter via Gdb-patches <gdb-patches@sourceware.org>
> 
> Attached is a patch that uses the newly added support for producing epub in
> Texinfo.

Thanks, this is fine with me.
  

On 11/9/22 07:38, Eli Zaretskii via Gdb-patches wrote:
>> Date: Wed, 9 Nov 2022 18:54:51 +1100
>> From: Fejfighter via Gdb-patches <gdb-patches@sourceware.org>
>>
>> Attached is a patch that uses the newly added support for producing epub in
>> Texinfo.
> 
> Thanks, this is fine with me.

Fine with me too.  Would you like me to push it?

Simon
  

> Date: Wed, 9 Nov 2022 08:21:36 -0500
> Cc: gdb-patches@sourceware.org
> From: Simon Marchi <simark@simark.ca>
> 
> 
> 
> On 11/9/22 07:38, Eli Zaretskii via Gdb-patches wrote:
> >> Date: Wed, 9 Nov 2022 18:54:51 +1100
> >> From: Fejfighter via Gdb-patches <gdb-patches@sourceware.org>
> >>
> >> Attached is a patch that uses the newly added support for producing epub in
> >> Texinfo.
> > 
> > Thanks, this is fine with me.
> 
> Fine with me too.  Would you like me to push it?

Yes, please.
  

On 11/9/22 08:22, Eli Zaretskii wrote:
>> Date: Wed, 9 Nov 2022 08:21:36 -0500
>> Cc: gdb-patches@sourceware.org
>> From: Simon Marchi <simark@simark.ca>
>>
>>
>>
>> On 11/9/22 07:38, Eli Zaretskii via Gdb-patches wrote:
>>>> Date: Wed, 9 Nov 2022 18:54:51 +1100
>>>> From: Fejfighter via Gdb-patches <gdb-patches@sourceware.org>
>>>>
>>>> Attached is a patch that uses the newly added support for producing epub in
>>>> Texinfo.
>>>
>>> Thanks, this is fine with me.
>>
>> Fine with me too.  Would you like me to push it?
> 
> Yes, please.

Actually, I have one comment.  The comment (copied from the html rule)
says:

    and installed by 'install-epub'

But there is no install-epub.  Should there be one?

Simon
  

> Date: Wed, 9 Nov 2022 08:41:18 -0500
> Cc: fejfighter@gmail.com, gdb-patches@sourceware.org
> From: Simon Marchi <simark@simark.ca>
> 
> >>> Thanks, this is fine with me.
> >>
> >> Fine with me too.  Would you like me to push it?
> > 
> > Yes, please.
> 
> Actually, I have one comment.  The comment (copied from the html rule)
> says:
> 
>     and installed by 'install-epub'
> 
> But there is no install-epub.  Should there be one?

I don't know how this should be integrated with "make install", this
is a question for Joel, I think.
  

On 11/9/22 08:44, Eli Zaretskii wrote:
>> Date: Wed, 9 Nov 2022 08:41:18 -0500
>> Cc: fejfighter@gmail.com, gdb-patches@sourceware.org
>> From: Simon Marchi <simark@simark.ca>
>>
>>>>> Thanks, this is fine with me.
>>>>
>>>> Fine with me too.  Would you like me to push it?
>>>
>>> Yes, please.
>>
>> Actually, I have one comment.  The comment (copied from the html rule)
>> says:
>>
>>     and installed by 'install-epub'
>>
>> But there is no install-epub.  Should there be one?
> 
> I don't know how this should be integrated with "make install", this
> is a question for Joel, I think.

"make install" only installs the man pages and the info version of the
manual.  The pdf or html versions of the manual are only installed with
explicit "install-pdf" and "install-html" rules.  So I presume that epub
would be the same as pdf and html.

Simon
  

>>>>> "Simon" == Simon Marchi via Gdb-patches <gdb-patches@sourceware.org> writes:

Simon> "make install" only installs the man pages and the info version of the
Simon> manual.  The pdf or html versions of the manual are only installed with
Simon> explicit "install-pdf" and "install-html" rules.  So I presume that epub
Simon> would be the same as pdf and html.

I think so too.  Is there a typical GNU directory for where exactly
these should be installed?

Tom
  

On 11/9/22 10:48, Tom Tromey wrote:
>>>>>> "Simon" == Simon Marchi via Gdb-patches <gdb-patches@sourceware.org> writes:
> 
> Simon> "make install" only installs the man pages and the info version of the
> Simon> manual.  The pdf or html versions of the manual are only installed with
> Simon> explicit "install-pdf" and "install-html" rules.  So I presume that epub
> Simon> would be the same as pdf and html.
> 
> I think so too.  Is there a typical GNU directory for where exactly
> these should be installed?

Autoconf doesn't specify an "epubdir" like there is an "htmldir" and a
"pdfdir".  I think we could just install it in docdir instead (htmldir
and pdfdir default do that).

Simon
  

> From: Tom Tromey <tom@tromey.com>
> Cc: Eli Zaretskii <eliz@gnu.org>,  Joel Brobecker <brobecker@adacore.com>,
>   Simon Marchi <simark@simark.ca>,  fejfighter@gmail.com
> Date: Wed, 09 Nov 2022 08:48:41 -0700
> 
> Simon> "make install" only installs the man pages and the info version of the
> Simon> manual.  The pdf or html versions of the manual are only installed with
> Simon> explicit "install-pdf" and "install-html" rules.  So I presume that epub
> Simon> would be the same as pdf and html.
> 
> I think so too.  Is there a typical GNU directory for where exactly
> these should be installed?

No, we are on our own.

I think it would be good to tell the Texinfo maintainers to start
thinking about a standard directory for EPUB format, because more and
more projects will bump into this issue.
  

On 09 Nov 2022 11:15, Simon Marchi via Gdb-patches wrote:
> On 11/9/22 10:48, Tom Tromey wrote:
> >>>>>> "Simon" == Simon Marchi via Gdb-patches <gdb-patches@sourceware.org> writes:
> > 
> > Simon> "make install" only installs the man pages and the info version of the
> > Simon> manual.  The pdf or html versions of the manual are only installed with
> > Simon> explicit "install-pdf" and "install-html" rules.  So I presume that epub
> > Simon> would be the same as pdf and html.
> > 
> > I think so too.  Is there a typical GNU directory for where exactly
> > these should be installed?
> 
> Autoconf doesn't specify an "epubdir" like there is an "htmldir" and a
> "pdfdir".  I think we could just install it in docdir instead (htmldir
> and pdfdir default do that).

all the random file formats go into $docdir, so using that sounds fine

that said, having an "install-epub" rule in gdb alone (and in the doc/
subdir at that) seems pretty questionable.  seems like someone who is
interested in moving the epub needle should spend the time pushing it
through all the GNU parts, assuming the texinfo people aren't already.

there's certainly autoconf as you highlight, but also the GNU standards,
and the GCC top-level, and binutils/gdb top-level, and automake, and the
binutils/gdb release scripts so things get published to the websites.
that's off the top of my head, but i'm sure there's more.
-mike
  

> Date: Wed, 9 Nov 2022 23:53:32 +0700
> From: Mike Frysinger <vapier@gentoo.org>
> Cc: Tom Tromey <tom@tromey.com>,
> 	Simon Marchi via Gdb-patches <gdb-patches@sourceware.org>,
> 	Eli Zaretskii <eliz@gnu.org>,
> 	Joel Brobecker <brobecker@adacore.com>, fejfighter@gmail.com
> 
> that said, having an "install-epub" rule in gdb alone (and in the doc/
> subdir at that) seems pretty questionable.  seems like someone who is
> interested in moving the epub needle should spend the time pushing it
> through all the GNU parts, assuming the texinfo people aren't already.
> 
> there's certainly autoconf as you highlight, but also the GNU standards,
> and the GCC top-level, and binutils/gdb top-level, and automake, and the
> binutils/gdb release scripts so things get published to the websites.
> that's off the top of my head, but i'm sure there's more.

Right, I wrote to the Texinfo list about that.