1 files changed, 5 insertions, 0 deletions
diff --git a/Rakefile b/Rakefile
index 28172a6..cbf5964 100644
--- a/Rakefile
+++ b/Rakefile
@@ -12,6 +12,8 @@ task rsync_docs: gendocs do
    # Also available at: http://yhbt.net/git-set-file-times
    # on Debian systems: /usr/share/doc/rsync/scripts/git-set-file-times.gz
    sh("git", "set-file-times", "Documentation", "examples", *top)
+  make = ENV['MAKE'] || 'make'
+  sh(%Q(#{make} -C Documentation))
  
    do_gzip = lambda do |txt|
      gz = "#{txt}.gz"
@@ -26,6 +28,9 @@ task rsync_docs: gendocs do
    files = `git ls-files Documentation/*.txt`.split(/\n/)
    files.concat(top)
    files.concat(gendocs)
+  files.concat(%w(yahns yahns-rackup yahns_config).map! { |x|
+    "Documentation/#{x}.txt"
+  })
    gzfiles = files.map { |txt| do_gzip.call(txt) }
    files.concat(gzfiles)