diff options
authorWill Estes <>2015-11-11 15:20:56 -0500
committerWill Estes <>2015-11-11 15:20:56 -0500
commitb54685ff22039fae7753fc3b08e0987d5853384e (patch)
parent589bb43094b3612abd42926fbc3bc4e9d776133e (diff)
Changed man page dependencies.
The man page is just the --help output as reformatted by help2man. The --help option is most likely to change when the flex skeleton changes or one of the option parsing files changes or the script itself changes. The dependencies reflect this now. It is still necessary, under some circumstances, to rebuild flex explicitly before building the man page. In theory, it's possible to have automake arrange to do this all the time, but doing so works out to be fragile, given the rest of the build system.
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ b/doc/
index 961e41b..e776c18 100644
--- a/doc/
+++ b/doc/
@@ -23,7 +23,7 @@ CLEANFILES = \
flex.vr \
-$(dist_man_MANS): $(top_srcdir)/src/main.c
+$(dist_man_MANS): $(top_srcdir)/ $(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/'` \