forked from Isabelle_DOF/Isabelle_DOF
Updated output message during conversion.
This commit is contained in:
parent
b79230e35a
commit
620aec262c
|
@ -211,8 +211,7 @@ object DofConverter {
|
||||||
|
|
||||||
def convertFile(f: File): Option[(String, LaTeXLexerError)] = {
|
def convertFile(f: File): Option[(String, LaTeXLexerError)] = {
|
||||||
val texFileName = f.getAbsolutePath()
|
val texFileName = f.getAbsolutePath()
|
||||||
println("DOF Converter: converting " + texFileName
|
println("DOF Converter "+version+": converting " + texFileName)
|
||||||
+ " (Not yet fully implemented!)")
|
|
||||||
f.renameTo(new File(texFileName + ".orig"))
|
f.renameTo(new File(texFileName + ".orig"))
|
||||||
|
|
||||||
using(io.Source.fromFile(texFileName + ".orig")) {
|
using(io.Source.fromFile(texFileName + ".orig")) {
|
||||||
|
|
Reference in New Issue