texinfo-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: keep information of texinfo source


From: Karl Berry
Subject: Re: keep information of texinfo source
Date: Sat, 10 Dec 2011 15:12:20 -0800

    Subject: keep information of texinfo source

You mean the general idea is to be able to reconstitute the exact, or
nearly exact, original input from the tree?  I surely have no objection
to that.  I think it's a nice idea, in principle.

    So I think it would be nice to add a new key in the tree, that would be set

Can you make the key be something that includes an underscore, so that
it can't possibly be defined by the user?  Since it's internal-only.

As for the name, I don't have strong feelings, but "sourcemark"
(or "source_mark") reads slightly better to me.  I couldn't explain why,
though :).  Do as you see fit.

Thanks,
k



reply via email to

[Prev in Thread] Current Thread [Next in Thread]