From 5405dc038da030364ccaecb0b13c8c3ba485b380 Mon Sep 17 00:00:00 2001
From: Jacob Bachmeyer <jcb62281+dev@gmail.com>
Date: Wed, 27 May 2020 16:14:01 -0500
Subject: Fix node duplicated by merge error in dejagnu.texi

The previous merge duplicated the "target_link procedure" node.
---
 doc/dejagnu.texi | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi
index 9a7183d..bb386e8 100644
--- a/doc/dejagnu.texi
+++ b/doc/dejagnu.texi
@@ -4708,20 +4708,6 @@ target, instead of the target selected with the @code{dest} option.
 @item @code{flags}
 @end table
 
-@node target_link procedure,  , target_compile procedure, Procedures For Target Boards
-@subsubheading target_link Procedure
-@findex target_link
-
-@quotation
-@t{@b{target_link} @i{objects} @i{destfile} @i{flags}}
-@end quotation
-
-@table @asis
-@item @code{objects}
-@item @code{destfile}
-@item @code{flags}
-@end table
-
 @node target database library file, platform dependent procedures, Procedures For Target Boards, Built-in Procedures
 @section Target Database Procedures
 
-- 
cgit v1.2.3