Clarify where geoip-db-tool is.

Somebody emailed me to ask where to find the tool that generated our
geoip file. I was about to suggest that they search for "geoip-db-tool",
when I found that you can't actually search for that and find our code.

Therefore, I'm adding a link.

diff --git a/scripts/maint/geoip/geoip-db-tool/src/main.rs b/scripts/maint/geoip/geoip-db-tool/src/main.rs
index 9a22598a354c2a5ea5ee873c7fc842a31a5803be..b255981aaef4ee7f61499e4367b8b60003d53eea 100644 (file)
--- a/scripts/maint/geoip/geoip-db-tool/src/main.rs
+++ b/scripts/maint/geoip/geoip-db-tool/src/main.rs
@@ -122,8 +122,11 @@ impl NetDefn {
 
 const PROLOGUE: &str = "\
 # This file has been converted from the IPFire Location database
-# using Tor's geoip-db-tool.  For more information on the data, see
-# https://location.ipfire.org/.
+# using Tor's geoip-db-tool, which is available in the
+# scripts/maint/geoip/geoip-db-tool directory in the Tor source
+# code repository at https://gitlab.torproject.org/tpo/core/tor/ .
+#
+# For more information on the data, see https://location.ipfire.org/.
 #
 # Below is the header from the original export:
 #