On Thu, May 23, 2013 at 07:54:12PM +0200, Bastien wrote:
> Hi Suvayu,
> Suvayu Ali <fatkasuvayu+li...@gmail.com> 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.


Open source is the future. It sets us free.

Reply via email to