diff --git a/bucket/latex.json b/bucket/miktex.json
similarity index 100%
rename from bucket/latex.json
rename to bucket/miktex.json