[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[8035] update _register_label call site
From: |
gavinsmith0123 |
Subject: |
[8035] update _register_label call site |
Date: |
Thu, 9 Aug 2018 15:07:12 -0400 (EDT) |
Revision: 8035
http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=8035
Author: gavin
Date: 2018-08-09 15:07:12 -0400 (Thu, 09 Aug 2018)
Log Message:
-----------
update _register_label call site
Modified Paths:
--------------
trunk/Pod-Simple-Texinfo/pod2texi.pl
Modified: trunk/Pod-Simple-Texinfo/pod2texi.pl
===================================================================
--- trunk/Pod-Simple-Texinfo/pod2texi.pl 2018-08-09 18:48:14 UTC (rev
8034)
+++ trunk/Pod-Simple-Texinfo/pod2texi.pl 2018-08-09 19:07:12 UTC (rev
8035)
@@ -284,7 +284,6 @@
#push @{$node->{'extra'}->{'nodes_manuals'}}, $parsed_node;
@{$node->{'extra'}->{'nodes_manuals'}} = ($parsed_node);
Texinfo::Parser::_register_label($parser, $node, $parsed_node);
- }
}
}
}
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [8035] update _register_label call site,
gavinsmith0123 <=