diff options
author | ridiculousfish <corydoras@ridiculousfish.com> | 2013-01-03 10:58:08 -0800 |
---|---|---|
committer | ridiculousfish <corydoras@ridiculousfish.com> | 2013-01-03 10:58:08 -0800 |
commit | f73caeb6a372bbc264f1ea2958b3bad815eff216 (patch) | |
tree | bc4c68e292d232b298d14e38c99882756838ffac /build_tools/build_documentation.sh | |
parent | 15da4aaec74349ca98b3c6686f454c0dec4df2b6 (diff) |
Make the Makefile mv man pages instead of cp them from help_doc, because help_doc is about to be deleted
Diffstat (limited to 'build_tools/build_documentation.sh')
0 files changed, 0 insertions, 0 deletions