Re: [O] Org sources and PDF files on Worg

[Bastien]

Hi Viktor,

Viktor Rosenfeld <address@hidden> writes:

> However, the old version of the tutorial still shows at the old address.
> I moved the file in the worg git repository from org-tutorials/ to
> exporters/ but now there are two separate HTML copies. Do I have to do
> something else to explicitly delete the old version?

Er, this is a strong (and quite stupid) limitation of the publishing
engine: it does not delete files that exist from a previous publication.

I have absolutely no idea for a clever mechanism that would find the
files to delete.

We can delete them manually for now -- please send me the list of
.html files I need to delete.

-- 
 Bastien