3 commits

Author	SHA1	Message	Date
Stefan Haller	741d9a26b6	Change script to write only the English translation set to JSON ... We will have to do this regularly in order to upload it to Crowdin (or Weblate or whatever translation system we are going to use). Unlike the non-English JSON files, the en.json file is not committed to the git repo.	2024-06-23 14:47:50 +02:00
Stefan Haller	98e5fd70fb	Remove non-English translation sets, read them from JSON instead	2024-06-23 14:47:50 +02:00
Stefan Haller	1e123e2124	Convert the non-English translation sets to JSON files ... We write a hacky, one-off script to do that. We need this script only once, so we don't bother polishing it much. We'll re-purpose it later in the branch to convert the English translation set to JSON; that is an operation that we need to do regularly in the future.	2024-06-23 14:47:50 +02:00