Skip to content

Conversation

@TLasguignes
Copy link
Collaborator

o/

Having a file/dir with a space in its name will break the watching scripts, repeating the compilation without new saves.
A quick fix in how to extract the list of filenames is enough to avoid the problem!
I also added an extension list in the document-maker, maybe it will help changing it easily.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant