Copying image files for HTML output

2020-11-28 Thread Gavin Smith
On Thu, Nov 19, 2020 at 11:10:55PM +0100, Patrice Dumas wrote: > I think that if the path does not starts with . or .. or is an absolute > path, it would make sense > 1) to search in include directories (I think that the current directory > is always in front of of the search path) > 2) to check

Re: Copying image files for HTML output

2020-11-28 Thread Christopher Dimech
> Sent: Saturday, November 28, 2020 at 10:36 AM > From: "Gavin Smith" > To: "Patrice Dumas" , "bug-texinfo gnu" > > Subject: Copying image files for HTML output > > On Thu, Nov 19, 2020 at 11:10:55PM +0100, Patrice Dumas wrote: > > I think that if the path does not starts with . or .. or is an a

Re: Copying image files for HTML output

2020-11-28 Thread Christopher Dimech
For when are you planning the next release? > Sent: Saturday, November 28, 2020 at 10:36 AM > From: "Gavin Smith" > To: "Patrice Dumas" , "bug-texinfo gnu" > > Subject: Copying image files for HTML output > > On Thu, Nov 19, 2020 at 11:10:55PM +0100, Patrice Dumas wrote: > > I think that if the

Re: Numbering Menu Items in html output

2020-11-28 Thread Christopher Dimech
> Sent: Saturday, November 28, 2020 at 6:20 PM > From: "Gavin Smith" > To: "Christopher Dimech" > Cc: "Patrice Dumas" > Subject: Re: Numbering Menu Items in html output > > Please send any queries to the public mailing lists > bug-texi...@gnu.org or help-texinfo@gnu.org. Missed the mailing li

Re: Numbering Menu Items in html output

2020-11-28 Thread Gavin Smith
On Sat, Nov 28, 2020 at 06:27:06PM +0100, Christopher Dimech wrote: > > On Sat, Nov 28, 2020 at 1:48 PM Christopher Dimech wrote: > > > > > > Have asked Eli to number the menu items for the "Emacs Lisp Reference > > > Manual" > > > who informed me that the menu gets unnumbered by Texinfo. > > > >

Re: Numbering Menu Items in html output

2020-11-28 Thread Christopher Dimech
> Sent: Saturday, November 28, 2020 at 7:13 PM > From: "Gavin Smith" > To: "Christopher Dimech" > Cc: "help-texinfo gnu" > Subject: Re: Numbering Menu Items in html output > > On Sat, Nov 28, 2020 at 06:27:06PM +0100, Christopher Dimech wrote: > > > On Sat, Nov 28, 2020 at 1:48 PM Christopher