| Index: tools/mac/catch_exception_tool.ad
|
| diff --git a/tools/mac/catch_exception_tool.ad b/tools/mac/catch_exception_tool.ad
|
| index 0d9520ce65e50560b071cd696954de763df7cab8..2d5590299e4a9347b7725f7c1acf698f895f60ef 100644
|
| --- a/tools/mac/catch_exception_tool.ad
|
| +++ b/tools/mac/catch_exception_tool.ad
|
| @@ -111,7 +111,7 @@ Failure, with a message printed to the standard error stream.
|
|
|
| == See Also
|
|
|
| -exception_port_tool(1),
|
| -on_demand_service_tool(1)
|
| +man_link:exception_port_tool[1],
|
| +man_link:on_demand_service_tool[1]
|
|
|
| include::../../doc/man_footer.ad[]
|
|
|