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. -- Suvayu Open source is the future. It sets us free.
