forked from Isabelle_DOF/Isabelle_DOF
Skip empty files.
This commit is contained in:
parent
64a1c82242
commit
a23efa6a8e
|
@ -66,7 +66,8 @@ object DofConverter {
|
||||||
} else {
|
} else {
|
||||||
args(0)
|
args(0)
|
||||||
}
|
}
|
||||||
val texFiles = recursiveListFiles(new File(dir), new Regex("\\.tex$"))
|
val texFiles = recursiveListFiles(new File(dir), new Regex("\\.tex$")).filterNot(_.length() == 0)
|
||||||
|
|
||||||
for (file <- texFiles) {
|
for (file <- texFiles) {
|
||||||
convertFile(file)
|
convertFile(file)
|
||||||
}
|
}
|
||||||
|
|
Reference in New Issue