diff options
author | Will Estes <westes575@gmail.com> | 2015-12-11 10:40:34 -0500 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2015-12-11 10:40:34 -0500 |
commit | e5e5fb59c91c5f86b1d6aab5123cb85ba613c284 (patch) | |
tree | e0312edbe47ea57fa8439b62b97c19b1e1ff0d24 /doc | |
parent | 07d89829cce4527c7614a34642d4b2c2ef5d6005 (diff) |
Removed flex.pdf from distribution; partially fixed sf#155
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 0 insertions, 1 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 \ |