Hi Bastien, On Thu, May 23, 2013 at 10:21:23AM +0200, Bastien wrote: > Viktor Rosenfeld <listuse...@gmail.com> writes: > > > However, the old version of the tutorial still shows at the old address. > > I moved the file in the worg git repository from org-tutorials/ to > > exporters/ but now there are two separate HTML copies. Do I have to do > > something else to explicitly delete the old version? > > Er, this is a strong (and quite stupid) limitation of the publishing > engine: it does not delete files that exist from a previous publication. > > I have absolutely no idea for a clever mechanism that would find the > files to delete.
I believe you can use git for this. Try $ git clean -n -x to see the files that will be removed. If you are happy with it, run $ git clean -f -x Please note the subtle difference between -x and -X. -x cleans *all* untracked files, whereas -X cleans only files explicitly ignored by .gitignore. I would advise to put the published files as ignored: *.html *.html~ Then you can safely run $ git clean -f -X and potentially keep untracked manually created files (e.g. .gitattributes). This could then be put in the post-commit hook that publishes Worg. Hope this helps, -- Suvayu Open source is the future. It sets us free.
