3 info_TEXINFOS = flex.texi
5 dist_doc_DATA= flex.pdf
26 $(dist_man_MANS): $(top_srcdir)/main.c
27 for i in $(dist_man_MANS) ; do \
28 $(help2man) --name='$(PACKAGE_NAME)' \
29 --section=`echo $$i | sed -e 's/.*\.\([^.]*\)$$/\1/'` \
30 ../flex$(EXEEXT) > $$i || rm -f $$i ; \