branch master updated: tp/TODO: readd sourcemark, it is still needed from marks not associated with @-commands, for instance end of included file.

[Patrice Dumas]

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new da30a82  tp/TODO: readd sourcemark, it is still needed from marks not 
associated with @-commands, for instance end of included file.
da30a82 is described below

commit da30a82b7db9897063f70a91904310319544ee92
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Tue Aug 17 10:05:34 2021 +0200

    tp/TODO: readd sourcemark, it is still needed from marks not
    associated with @-commands, for instance end of included file.
---
 tp/TODO | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tp/TODO b/tp/TODO
index 154b75a..cbe5272 100644
--- a/tp/TODO
+++ b/tp/TODO
@@ -160,8 +160,9 @@ Add some elements of texinfo that are not of interest in the
 tree, like beginning and end of included file, @ protecting
 end of line in @def*, begin and end of user defined macro
 or value expansion.  For @include @-commands, which are kept,
-the type is set to 'replaced', it could be possible to do the
-same.
+the type is set to 'replaced'.  Could add 'sourcemark'
+instead of 'type' for the marks that are not associated with
+@-commands.
 
 In a similar way, keep the information about aliases in the tree?
 And about @setfilename in included files which is for now completly