add typing information for pygments to requirements

[nominatim.git] / docs / develop / overview.md

diff --git a/docs/develop/overview.md b/docs/develop/overview.md
index c0a37a41dd8b54e296e33476d6576dd8571b519e..b5625a883ceec1ca19ca3fc4376e859089306258 100644 (file)
--- a/docs/develop/overview.md
+++ b/docs/develop/overview.md
@@ -9,14 +9,14 @@ the address computation and the search frontend.
 The __data import__ stage reads the raw OSM data and extracts all information
 that is useful for geocoding. This part is done by osm2pgsql, the same tool
 that can also be used to import a rendering database. It uses the special
 The __data import__ stage reads the raw OSM data and extracts all information
 that is useful for geocoding. This part is done by osm2pgsql, the same tool
 that can also be used to import a rendering database. It uses the special

-gazetteer output plugin in `osm2pgsql/output-gazetter.[ch]pp`. The result of
+gazetteer output plugin in `osm2pgsql/src/output-gazetter.[ch]pp`. The result of

 the import can be found in the database table `place`.
 
 The __address computation__ or __indexing__ stage takes the data from `place`
 and adds additional information needed for geocoding. It ranks the places by
 importance, links objects that belong together and computes addresses and
 the search index. Most of this work is done in PL/pgSQL via database triggers
 the import can be found in the database table `place`.
 
 The __address computation__ or __indexing__ stage takes the data from `place`
 and adds additional information needed for geocoding. It ranks the places by
 importance, links objects that belong together and computes addresses and
 the search index. Most of this work is done in PL/pgSQL via database triggers

-and can be found in the file `sql/functions.sql`.
+and can be found in the files in the `sql/functions/` directory.

 
 The __search frontend__ implements the actual API. It takes search
 and reverse geocoding queries from the user, looks up the data and
 
 The __search frontend__ implements the actual API. It takes search
 and reverse geocoding queries from the user, looks up the data and