Re: Getting download sizes right: proof of concept

2020-02-26 Thread David Kastrup
Jean-Charles Malahieude writes: > Le 26/02/2020 à 02:18, David Kastrup a écrit : >> >> Anybody want to see what it takes to get this across the finishing line? >> > > Just a nitpick: the sizes are in Documentation/web/manuals.itexi. > I'll have a look this afternoon. Oh, I know. The

Re: Getting download sizes right: proof of concept

2020-02-26 Thread David Kastrup
Werner LEMBERG writes: >>> I'd need someone to take this sketch and integrate it into the >>> build system (I just don't really understand the build system). >> >> Do we really need this? > > Yes, I think this is *very* useful. It's always nice to know big file > sizes (i.e., files larger

Re: Getting download sizes right: proof of concept

2020-02-26 Thread Jean-Charles Malahieude
Le 26/02/2020 à 02:18, David Kastrup a écrit : Anybody want to see what it takes to get this across the finishing line? Just a nitpick: the sizes are in Documentation/web/manuals.itexi. I'll have a look this afternoon. Cheers, -- Jean-Charles

Re: Getting download sizes right: proof of concept

2020-02-26 Thread Werner LEMBERG
>> I'd need someone to take this sketch and integrate it into the >> build system (I just don't really understand the build system). > > Do we really need this? Yes, I think this is *very* useful. It's always nice to know big file sizes (i.e., files larger than, say, 1MByte) in advance. Not

Re: Getting download sizes right: proof of concept

2020-02-26 Thread Han-Wen Nienhuys
On Wed, Feb 26, 2020 at 2:19 AM David Kastrup wrote: > > > I'd need someone to take this sketch and integrate it into the build > system (I just don't really understand the build system). Do we really need this? We could just delete the download size from text and be correct in a much simpler

Getting download sizes right: proof of concept

2020-02-25 Thread David Kastrup
I'd need someone to take this sketch and integrate it into the build system (I just don't really understand the build system). It is shown how to place a request for file size into Documentation/web.texi and there is a script that will convert such requests found in HTML files into user-readable