FLEX = $(top_builddir)/src/flex$(EXEEXT)

info_TEXINFOS = flex.texi
dist_man_MANS = flex.1
MAINTAINERCLEANFILES = flex.1

CLEANFILES = *.aux *.cp *.cps *.fn *.fns *.hk *.hks *.ky *.log \
       *.op *.ops *.pg *.toc *.tp *.tps *.vr *.vrs

flex.1: $(top_srcdir)/configure.ac $(top_srcdir)/src/flex.skl $(top_srcdir)/src/options.c $(top_srcdir)/src/options.h | $(FLEX)
       $(HELP2MAN) --name='$(PACKAGE_NAME)' --section=1 \
       --source='The Flex Project' --manual='Programming' \
       --output=$@ $(FLEX) \
       || rm -f $@