diff --git a/docs/make_bulletin_json.py b/docs/make_bulletin_json.py index e5852aaee..7c8b81bfb 100644 --- a/docs/make_bulletin_json.py +++ b/docs/make_bulletin_json.py @@ -35,8 +35,8 @@ def generate_json_file(): # Append last section bulletin_json.append({"title": title, "date": date, "content": content}) - with open("bulletin.json", "w", encoding="utf-8") as json_file: - json.dump(bulletin_json, json_file, ensure_ascii=False, indent=4) + with open("bulletin.json", "w") as f: + f.write(repr(bulletin_json)) if __name__ == "__main__":