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

[Suvayu Ali]

On Thu, May 23, 2013 at 07:54:12PM +0200, Bastien wrote:
> 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...

Ahh sorry, I realised the problem but overlooked that this removes all
html files!  It's end of the day after all :-p.

-- 
Suvayu

Open source is the future. It sets us free.