blob: 63a70897169e4a31c7784961492c9cb23dcc3884 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/usr/bin/env python3
import argparse
import os
import subprocess
def parse_args():
parser = argparse.ArgumentParser()
parser.add_argument("--texify-loc", required=True)
parser.add_argument("--texindex-loc", required=True)
parser.add_argument("--texi-file", required=True)
return parser.parse_args()
def main():
args = parse_args()
env = os.environ.copy()
env["TEXINDEX"] = args.texindex_loc
subprocess.run(
[args.texify_loc, "--pdf", args.texi_file],
env=env,
check=True,
)
if __name__ == "__main__":
main()
|