diff options
| author | Jacob Bachmeyer <jcb62281+dev@gmail.com> | 2020-05-27 16:14:01 -0500 |
|---|---|---|
| committer | Jacob Bachmeyer <jcb62281+dev@gmail.com> | 2020-05-27 16:14:01 -0500 |
| commit | 5405dc038da030364ccaecb0b13c8c3ba485b380 (patch) | |
| tree | e9eca49d47b89771f81e83793ed568639c4d3058 | |
| parent | b9cd21fdb48ea6a29a4381f564ce13b29921b867 (diff) | |
Fix node duplicated by merge error in dejagnu.texi
The previous merge duplicated the "target_link procedure" node.
| -rw-r--r-- | doc/dejagnu.texi | 14 |
1 files changed, 0 insertions, 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 |