Re: Line numbers in doc snarf comments

[Neil Jerram]

>>>>> "Martin" == Martin Grabmueller <address@hidden> writes:

    >> So, does anyone mind if I change the doc snarf jobs to omit the
    >> line numbers?

    Martin> Maybe the line numbers could be useful when trying to fix
    Martin> errors in the docstrings.  Could you maybe add a switch or
    Martin> something so one can switch the line numbers on
    Martin> conditionally?

    Martin> Except for that I have no objections.

Thanks for pointing that out.  With a little more thought, I realized
that it is enough simply to do a (flush-lines "@c snarfed from") on
doc/maint/guile.texi before committing it.  So I don't need to change
the doc snarf jobs after all.

        Neil