diff options
author | Will Estes <wlestes@users.sourceforge.net> | 2007-02-13 01:14:37 +0000 |
---|---|---|
committer | Will Estes <wlestes@users.sourceforge.net> | 2007-02-13 01:14:37 +0000 |
commit | 507fd5e0a967a75e654c2038259b8872a1f73587 (patch) | |
tree | 0add32fbdb33edca3ad90c55bfa1cbf24c628e68 /doc | |
parent | 05dad781c18787fc134d48beae1933358ac949b1 (diff) |
add flex.pdf to EXTRA_DIST
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 8614963..c0d642e 100644 --- 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 \ |