diff options
author | Manoj Srivastava <srivasta@debian.org> | 2016-07-28 16:27:42 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2016-07-28 16:27:42 -0700 |
commit | 6228bc837a1bfd806c6b6f92fea9f6a42f099e7e (patch) | |
tree | 8bd744e2835403d769bd59e69ffb98dd3698e890 /doc | |
parent | 86ca4f322bbec8f52a76c1bf2a879bf464d9bb65 (diff) | |
parent | 609af5775f7277679dc3bd966b36f04cf7ccf2a8 (diff) |
merge tag v2.6.1
Signed-off-by: Manoj Srivastava <srivasta@debian.org>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 1 | ||||
-rw-r--r-- | doc/flex.texi | 3 |
2 files changed, 1 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index e776c18..e6e97c8 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -2,7 +2,6 @@ help2man = @HELP2MAN@ info_TEXINFOS = flex.texi dist_man_MANS = flex.1 -dist_doc_DATA= flex.pdf CLEANFILES = \ flex.aux \ diff --git a/doc/flex.texi b/doc/flex.texi index 9b7d83f..af639f1 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -296,8 +296,7 @@ Indices @cindex reporting bugs 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}. +GitHub's issue tracking facility at @url{https://github.com/westes/flex/issues/} @node Introduction, Simple Examples, Reporting Bugs, Top @chapter Introduction |