time2tex.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#!/bin/python3
import sys


if __name__ == "__main__":
  if len(sys.argv) != 2:
    print("usage: time2tex <input>")
    exit(1)

  input_file = sys.argv[1]
  content = ""
  with open(input_file, "r") as file:
    content = file.read()
  parsed = parse(content)