summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorManoj Srivastava <srivasta@debian.org>2016-07-28 16:27:42 -0700
committerManoj Srivastava <srivasta@debian.org>2016-07-28 16:27:42 -0700
commit6228bc837a1bfd806c6b6f92fea9f6a42f099e7e (patch)
tree8bd744e2835403d769bd59e69ffb98dd3698e890 /doc
parent86ca4f322bbec8f52a76c1bf2a879bf464d9bb65 (diff)
parent609af5775f7277679dc3bd966b36f04cf7ccf2a8 (diff)
merge tag v2.6.1
Signed-off-by: Manoj Srivastava <srivasta@debian.org>
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am1
-rw-r--r--doc/flex.texi3
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