diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am new file mode 100644 index 0000000..e6e97c8 --- /dev/null +++ b/doc/Makefile.am @@ -0,0 +1,30 @@ +help2man = @HELP2MAN@ + +info_TEXINFOS = flex.texi +dist_man_MANS = flex.1 + +CLEANFILES = \ + flex.aux \ + flex.cp \ + flex.cps \ + flex.fn \ + flex.fns \ + flex.hk \ + flex.hks \ + flex.ky \ + flex.log \ + flex.op \ + flex.ops \ + flex.pg \ + flex.toc \ + flex.tp \ + flex.tps \ + flex.vr \ + flex.vrs + +$(dist_man_MANS): $(top_srcdir)/configure.ac $(top_srcdir)/src/flex.skl $(top_srcdir)/src/options.c $(top_srcdir)/src/options.h + for i in $(dist_man_MANS) ; do \ + $(help2man) --name='$(PACKAGE_NAME)' \ + --section=`echo $$i | sed -e 's/.*\.\([^.]*\)$$/\1/'` \ + $(top_srcdir)/src/flex$(EXEEXT) > $$i || rm -f $$i ; \ + done |