|
| From: | Marius Vollmer |
| Subject: | Re: Line numbers in doc snarf comments |
| Date: | 13 Nov 2001 14:21:40 +0100 |
| User-agent: | Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 |
Neil Jerram <address@hidden> writes: > So, does anyone mind if I change the doc snarf jobs to omit the line > numbers? No objections, but please make it so that the line numbers can still be generated optionally.
| [Prev in Thread] | Current Thread | [Next in Thread] |