diff options
author | Will Estes <wlestes@users.sourceforge.net> | 2007-02-01 17:10:32 +0000 |
---|---|---|
committer | Will Estes <wlestes@users.sourceforge.net> | 2007-02-01 17:10:32 +0000 |
commit | 5f6bd9c140009ad46dfad295435ad8a5394752bd (patch) | |
tree | 21e31cc387d5016bbe3fb06034d5f9d997e4ac54 /doc | |
parent | b320459a21d50001a7b11f0aeb5df7539086332e (diff) |
add flex man page to distribution
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index f1a6084..1dd2120 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,7 +1,7 @@ help2man = @HELP2MAN@ info_TEXINFOS = flex.texi -man_MANS = flex.1 +dist_man_MANS = flex.1 MAINTAINERCLEANFILES = \ flex.1 |