On Wednesday, November 6, 2013 10:15:44 PM HKT, Nicolas Goaziou wrote:
No ***-**.vrb files were deleted.
Out of curiosity: in my case vrb files follow the template "***.**.vrb"
not "***-**.vrb". Are you sure about the hyphen?
Hm, you're right -- I was sure they are hyphens, but I just looked again
and they are indeed dots.
As a final test, I deleted all the .vrb files manually and exported my
document again. Then, after the export process finished, I refreshed a
dired buffer for the directory in question:
-rw-rw-r-- 1 dlm dlm 504 Nov 7 09:28 lp-slides.5.vrb
-rw-rw-r-- 1 dlm dlm 667 Nov 7 09:28 lp-slides.6.vrb
-rw-rw-r-- 1 dlm dlm 563 Nov 7 09:28 lp-slides.7.vrb
-rw-rw-r-- 1 dlm dlm 662 Nov 7 09:28 lp-slides.8.vrb
These were all created during the last export cycle, and not deleted by
that cycle.
hjh
