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


Reply via email to