On 2015-03-31, Kornel Benko wrote:
> What is a good name for the subdir? Similar to the behaviour of web browsers when downloading HTML+images, I'd name it "<document-name-without-extension>-files/" i.e. for "math.tex" it would becomd "math-files/" > What do we do if it already exists? Add a number or ask. Günter
