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

[Bastien]

Hi Suvayu,

Suvayu Ali <address@hidden> writes:

> I believe you can use git for this.  Try
>
>   $ git clean -n -x

I didn't know this git command, neat!

The problem we were discussing is different: it's about deleting
HTML pages that have been published and that have no corresponding
.org file anymore -- the way I do this for other projects of mine
is to delete all HTML files and republish my project, but we don't
want to take that route here...

-- 
 Bastien