Index: tools/mac/catch_exception_tool.ad |
diff --git a/tools/mac/catch_exception_tool.ad b/tools/mac/catch_exception_tool.ad |
index 446cbd3e9bd71b6da33bb8afcbb459f38a72cf31..3b43784579c7b2ff6d8f340b489892a8eb2b0cd8 100644 |
--- a/tools/mac/catch_exception_tool.ad |
+++ b/tools/mac/catch_exception_tool.ad |
@@ -114,4 +114,4 @@ Failure, with a message printed to the standard error stream. |
exception_port_tool(1), |
on_demand_service_tool(1) |
-include::man_footer.ad[] |
+include::../man_footer.ad[] |