Index: tools/generate_dump.ad |
diff --git a/tools/generate_dump.ad b/tools/generate_dump.ad |
index 342c72d0fc9b0e1a0b76253b5936cf1d974bbb54..d8a53c8d68b315ee53fc84c062ed39fd771afa19 100644 |
--- a/tools/generate_dump.ad |
+++ b/tools/generate_dump.ad |
@@ -93,4 +93,4 @@ Failure, with a message printed to the standard error stream. |
man_link:catch_exception_tool[1] |
-include::../doc/man_footer.ad[] |
+include::../doc/support/man_footer.ad[] |