diff options
author | Eric Wong <normalperson@yhbt.net> | 2013-08-25 00:47:13 +0000 |
---|---|---|
committer | Eric Wong <normalperson@yhbt.net> | 2013-08-25 00:47:13 +0000 |
commit | f468d58468b224ea3fb468c9543d8631164f8c55 (patch) | |
tree | 8870411e6e8a9aebca82d3175ba71cb808c013f8 /Rakefile | |
parent | fbe1dbf48bc0573935e410013da86bda03426af4 (diff) | |
download | dtas-f468d58468b224ea3fb468c9543d8631164f8c55.tar.gz |
We should be compatible with "gem-man", as well as allowing installation to prefix ($HOME by default) via: make -C Documentation install-man
Diffstat (limited to 'Rakefile')
-rw-r--r-- | Rakefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ if ! File.exist?(manifest) || File.stat(manifest).mtime < gitidx.mtime if system("make -C Documentation") require 'fileutils' FileUtils.rm_rf 'man' - if system("make -C Documentation install-man") + if system("make -C Documentation gem-man") `git ls-files -o man`.split(/\n/).each do |man| fp.puts man end |