doc: design.rst: Fix highlighting for index snippet

JSON does not support comments. As JSON is a subset of Javascript, use
the latter instead.
This commit is contained in:
Michael Eischer 2022-11-27 17:01:27 +01:00
parent 41b0f1d43a
commit 0eddc89e98
1 changed files with 1 additions and 1 deletions

View File

@ -257,7 +257,7 @@ be downloaded and used to reconstruct the index. The file encoding is
described in the "Unpacked Data Format" section. The plaintext consists described in the "Unpacked Data Format" section. The plaintext consists
of a JSON document like the following: of a JSON document like the following:
.. code:: json .. code:: javascript
{ {
"supersedes": [ "supersedes": [