From 260582b58ae8f8c8387a3453c3fa2f0dff68b317 Mon Sep 17 00:00:00 2001 From: Inari Listenmaa Date: Thu, 13 Apr 2023 17:19:08 +0300 Subject: [PATCH] remove dead link to the coverage map --- doc/synopsis/intro.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/synopsis/intro.txt b/doc/synopsis/intro.txt index 82bcb9e32..3029637fd 100644 --- a/doc/synopsis/intro.txt +++ b/doc/synopsis/intro.txt @@ -32,7 +32,6 @@ the library, view all functions in a module's scope, and quickly jump to their d Other relevant documents: - [The RGL Status Document ../status.html]: the current status of different languages and the authors of each grammar -- [The Resource Grammar Library coverage map http://www.postcrashgames.com/gf_world/] - [RGL Documentation and Publications ../rgl-publications.html]: links to publications and other documentation - [More modules ../gfdoc/sources.html]: extra modules, dictionaries, and the internals of the resource grammar