()
| 175 | |
| 176 | |
| 177 | def main(): |
| 178 | FULLTEXT_DIR.mkdir(parents=True, exist_ok=True) |
| 179 | with open(INDEX_PATH, "r", encoding="utf-8") as f: |
| 180 | index = json.load(f) |
| 181 | |
| 182 | entries = index.get("entries", []) |
| 183 | print(f"Processing {len(entries)} standards...\n") |
| 184 | |
| 185 | success = 0 |
| 186 | for entry in entries: |
| 187 | if process_standard(entry): |
| 188 | success += 1 |
| 189 | time.sleep(2) |
| 190 | |
| 191 | print(f"\nDone: {success}/{len(entries)} standards") |
| 192 | |
| 193 | |
| 194 | if __name__ == "__main__": |
no test coverage detected