diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am deleted file mode 100644 index bfed30d32602..000000000000 --- a/doc/Makefile.am +++ /dev/null @@ -1,16 +0,0 @@ -help2man = @HELP2MAN@ - -info_TEXINFOS = flex.texi -dist_man_MANS = flex.1 -EXTRA_DIST = flex.pdf - -CLEANFILES = \ - flex.hks \ - flex.ops - -$(dist_man_MANS): $(top_srcdir)/main.c - for i in $(dist_man_MANS) ; do \ - $(help2man) --name='$(PACKAGE_NAME)' \ - --section=`echo $$i | sed -e 's/.*\.\([^.]*\)$$/\1/'` \ - ../flex$(EXEEXT) > $$i || rm -f $$i ; \ - done |