diff options
| author | Will Estes <wlestes@users.sourceforge.net> | 2007-03-07 20:45:31 +0000 |
|---|---|---|
| committer | Will Estes <wlestes@users.sourceforge.net> | 2007-03-07 20:45:31 +0000 |
| commit | 41354f32ac9c567d2b096e0211a02c7318742a0f (patch) | |
| tree | ff6130f188a2faab4d66c1b6d95614a37bb6e3bb /doc/flex.texi | |
| parent | 093c984d75b8b4cb356b3c7291aa09ab9200ad31 (diff) | |
correct how to submit bugs
Diffstat (limited to 'doc/flex.texi')
| -rw-r--r-- | doc/flex.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index e12c3f9..dcad667 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -292,9 +292,9 @@ Indices @cindex bugs, reporting @cindex reporting bugs -If you have problems with @code{flex} or think you have found a bug, -please send mail detailing your problem to -@email{flex-help@@lists.sourceforge.net}. Patches are always welcome. +If you find a bug in @code{flex}, please report it using +the SourceForge Bug Tracking facilities which can be found on +@url{http://sourceforge.net/projects/flex,flex's SourceForge Page}. @node Introduction, Simple Examples, Reporting Bugs, Top @chapter Introduction |