diff options
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 |