Index: tools/generate_dump.ad |
diff --git a/tools/generate_dump.ad b/tools/generate_dump.ad |
index 36b14d5f6e39bebc8c52e79f96576d93d7f4aae8..8c6d23b3f5175153db27caec60fdafaad40f43bb 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. |
catch_exception_tool(1) |
-include::man_footer.ad[] |
+include::../doc/man_footer.ad[] |