diff options
author | Manoj Srivastava <srivasta@debian.org> | 2016-07-31 15:00:12 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2016-07-31 15:00:12 -0700 |
commit | dc20a68ba953b2a5da0311f3ce9f9217f9ad60b3 (patch) | |
tree | e45fdd69828a8668029d07f8601442cbb9258559 /doc | |
parent | e68e1da425634fda40095a7b3196d4175f782987 (diff) | |
parent | 487177cbb85bc4e88e468c71b27569054b8df090 (diff) |
Merge branch 'upstream'
Signed-off-by: Manoj Srivastava <srivasta@debian.org>
# Conflicts:
# src/buf.c
# src/flex.skl
# src/skel.c
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 9751198..f21729c 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 |