Re: [O] Org sources and PDF files on Worg

[Suvayu Ali]

Hi Bastien,

On Thu, May 23, 2013 at 10:21:23AM +0200, Bastien wrote:
> Viktor Rosenfeld <address@hidden> 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.