add flex.pdf to EXTRA_DIST

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 8614963377d8e89af55c304b65eaf93d7d6defb9..c0d642eec69c6fb777550c247077de55c4774e14 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -2,6 +2,7 @@ help2man = @HELP2MAN@
 
 info_TEXINFOS =        flex.texi
 dist_man_MANS = flex.1
+EXTRA_DIST = flex.pdf
 
 CLEANFILES = \
        flex.hks \