ref: 2896cb93d48f6b4fb759c37753db7095d4e69ffd
dir: /prequeue.py/
import os import sys import preprocessor if __name__ == '__main__': for source in sys.argv[1:]: dest = os.path.splitext(source)[0] + '.tx' sys.stdin = open(source, 'r') sys.stdout = open(dest, 'w') preprocessor.preprocess()