diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2023-02-24 19:06:09 +0100 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2023-02-27 09:18:57 +0100 |
commit | 12c21b71e5c5db0ebfd336d9678ccfbee1ae1168 (patch) | |
tree | 4febbd46dbfe2e50e55bcc6860527ca29c5edcdc /docs/tools/tracker-utils.c | |
parent | 892d1141e47a785709ced1b941bda7426271008e (diff) | |
download | tracker-12c21b71e5c5db0ebfd336d9678ccfbee1ae1168.tar.gz |
docs: Also fix index.json search terms for web UI
Same rationale than devhelp, we want to add ontology-related
search terms there. Generate the JSON files separately, in order
to merge them at the same last stage.
Diffstat (limited to 'docs/tools/tracker-utils.c')
0 files changed, 0 insertions, 0 deletions