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... -- Bastien
