Re: How to obtain the list of files included in HTML export?

[Ista Zahn <istazahn@gmail.com>]

On Wed, Feb 25, 2015 at 7:39 PM, Marcin Borkowski <mbork@wmi.amu.edu.pl> wrote:
>
> On 2015-02-13, at 00:25, Marcin Borkowski <mbork@wmi.amu.edu.pl> wrote:
>
>> Hi there again,
>
> ...and again.
>
>> the subject pretty much says it all.  Apart from the HTML file itself
>> there might be inlined images and bitmaps of equations.  Since I'd like
>> to make my customized exporter create a self-contained zip file, I need
>> the list of all files comprising the generated web page.
>
> So, the question remains.  It's even (a bit) more tricky: if I exported
> only one file, I could just take the list of all files in the target
> directory.  However, (i) it is possible that I'll have some included
> images (not generated), and they should also be included in the list,
> and (ii) I'll export /a few/ files, and it would be handier if they
> could all be exported to one directory.  In that case, however, the list
> of the files in that directory will include files for more than one
> export.

wget works well for this sort of thing, the downside being that it
doesn't understand file schemes, so you would have run a web server to
serve the directory over http then you could use wget to download a
directory with just the required files. If you already have a web
server that you can access conveniently this may be a viable option

Best,
Ista

>
>> Best,
>
> TIA,
>
> --
> Marcin Borkowski               This email was proudly sent
> http://mbork.pl                from my Emacs.
>