31     os.move.over(os.pwd / old_pdf, os.pwd / new_pdf)

    31     os.move.over(os.pwd / old_pdf, os.pwd / new_pdf)

    32   }

    32   }

    33 }

    33 }

    34 

    34 

    35 @main

    35 @main

    36 def hg() = {

    42 def hg() = {

    37   println(os.proc("hg", "commit", "-m texupdate", files ++ pdf_files).call())

    43   println(os.proc("hg", "commit", "-m texupdate", files ++ pdf_files).call())

    38   println(os.proc("hg", "push").call())

    44   println(os.proc("hg", "push").call())

    39 }

    45 }