diff options
author | 2013-01-03 10:50:00 -0800 | |
---|---|---|
committer | 2013-01-03 10:50:19 -0800 | |
commit | 15da4aaec74349ca98b3c6686f454c0dec4df2b6 (patch) | |
tree | 77477353fe70ab4356de1774d1d543d3e461a15d | |
parent | 9ee7b0a5010eaf406ad3f9277b29e8fd06c3d628 (diff) |
Make share/man/man1 manpages get built again
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index f9eda190..053244a9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -490,6 +490,8 @@ share/man: $(HELP_SRC) touch share/man -rm -r help_doc ./build_tools/build_documentation.sh + cp help_doc/man/man1/*.1 share/man + rm -r help_doc # # The build rules for installing/uninstalling fish |