| Index: tools/mac/catch_exception_tool.ad
|
| diff --git a/tools/mac/catch_exception_tool.ad b/tools/mac/catch_exception_tool.ad
|
| index 2d5590299e4a9347b7725f7c1acf698f895f60ef..a639de4cc63784e5be08a5b1350e6cf2c849539f 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.
|
| man_link:exception_port_tool[1],
|
| man_link:on_demand_service_tool[1]
|
|
|
| -include::../../doc/man_footer.ad[]
|
| +include::../../doc/support/man_footer.ad[]
|
|
|