diff options
author | Will Estes <wlestes@users.sourceforge.net> | 2002-07-31 13:56:21 +0000 |
---|---|---|
committer | Will Estes <wlestes@users.sourceforge.net> | 2002-07-31 13:56:21 +0000 |
commit | 04d74e25975147394429a301896f56b5649ae87f (patch) | |
tree | cff6785964f15d1e1789c6754a9634bf42b48beb /Makefile.am | |
parent | dd611584ccc0312e64c6ad27a49d091c6ff42c3a (diff) |
we need to include texinfo.tex now
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index a419ccf..a77bf94 100644 --- a/Makefile.am +++ b/Makefile.am @@ -41,7 +41,6 @@ AUTOMAKE_OPTIONS = \ readme-alpha \ gnits \ check-news \ - no-texinfo.tex \ dist-bzip2 bin_PROGRAMS = flex |