[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Displaying images for html output
From: |
Gavin Smith |
Subject: |
Re: Displaying images for html output |
Date: |
Sun, 22 Nov 2020 17:30:49 +0000 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Sun, Nov 22, 2020 at 06:14:33PM +0100, Patrice Dumas wrote:
> > Also, what if the image files are out-of-date?
>
> I think that we should not care about that case. As long as the file
> exists, even if, for instance it is a broken link, we do nothing.
What's the rationale for this? Why not check the file modification
time and copy it if the file is newer than the file that is there
already?
I imagine there could be a problem where someone edits the text of the
manual and edits an image file with a diagram, runs texi2any, and expects
the manual to be fully updated.
- Re: Displaying images for html output, (continued)
- Re: Displaying images for html output, Christopher Dimech, 2020/11/18
- Re: Displaying images for html output, Christopher Dimech, 2020/11/18
- Re: Displaying images for html output, Patrice Dumas, 2020/11/19
- Re: Displaying images for html output, Christopher Dimech, 2020/11/19
- Re: Displaying images for html output, Gavin Smith, 2020/11/21
- Re: Displaying images for html output, Patrice Dumas, 2020/11/21
- Re: Displaying images for html output, Christopher Dimech, 2020/11/21
- Re: Displaying images for html output, Gavin Smith, 2020/11/22
- Re: Displaying images for html output, Christopher Dimech, 2020/11/22
- Re: Displaying images for html output, Patrice Dumas, 2020/11/22
- Re: Displaying images for html output,
Gavin Smith <=
- Re: Displaying images for html output, Patrice Dumas, 2020/11/29
- Copying image files for HTML output, Gavin Smith, 2020/11/28
- Re: Copying image files for HTML output, Christopher Dimech, 2020/11/28
- Re: Copying image files for HTML output, Christopher Dimech, 2020/11/28
- Re: Displaying images for html output, Gavin Smith, 2020/11/22
- Re: Displaying images for html output, Christopher Dimech, 2020/11/22
- Re: Displaying images for html output, Christopher Dimech, 2020/11/17
- Re: Displaying images for html output, Patrice Dumas, 2020/11/17
- Re: Displaying images for html output, Christopher Dimech, 2020/11/17
- Re: Displaying images for html output, Christopher Dimech, 2020/11/18