[gi-docgen: 5/5] Merge branch 'no-terms' into 'main'

[Emmanuele Bassi <ebassi src gnome org>]

commit 6c4954aec44bd328bc47bb16be09f7b852203acc
Merge: 1e9dce6 4f3ac1c
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Fri Jul 29 13:11:38 2022 +0000

    Merge branch 'no-terms' into 'main'
    
    Remove "terms" from index.json, rewrite commandline search to work without it
    
    See merge request GNOME/gi-docgen!148

 gidocgen/gdgenindices.py | 201 ++---------------------
 gidocgen/gdsearch.py     |  47 +++++-
 gidocgen/porter.py       | 408 -----------------------------------------------
 gidocgen/utils.py        |  76 +--------
 4 files changed, 58 insertions(+), 674 deletions(-)
---