Index: tools/generate_dump.ad |
diff --git a/tools/generate_dump.ad b/tools/generate_dump.ad |
index 8c6d23b3f5175153db27caec60fdafaad40f43bb..342c72d0fc9b0e1a0b76253b5936cf1d974bbb54 100644 |
--- a/tools/generate_dump.ad |
+++ b/tools/generate_dump.ad |
@@ -91,6 +91,6 @@ Failure, with a message printed to the standard error stream. |
== See Also |
-catch_exception_tool(1) |
+man_link:catch_exception_tool[1] |
include::../doc/man_footer.ad[] |