tree: 86b2b573a58994307c44ec05c55693b1de3fa173
  1. extract_content.py
  2. fix_tex.py
  3. genrest.py