diff options
author | Eric Wong <normalperson@yhbt.net> | 2013-08-25 00:12:23 +0000 |
---|---|---|
committer | Eric Wong <normalperson@yhbt.net> | 2013-08-25 00:15:07 +0000 |
commit | 7a00d725015534bb551c7f97952af4b9a9367332 (patch) | |
tree | 7b3c0209839b847957ee8591f3976344cd980c8c | |
parent | 6c197ba96877164d2e89ee1f1cc74d15a34af6e1 (diff) | |
download | dtas-7a00d725015534bb551c7f97952af4b9a9367332.tar.gz |
This may make lives easier for users without pandoc.
-rw-r--r-- | .gitignore | 2 | ||||
-rw-r--r-- | Documentation/GNUmakefile | 2 | ||||
-rw-r--r-- | Rakefile | 14 |
3 files changed, 18 insertions, 0 deletions
@@ -5,3 +5,5 @@ /coverage.dump *.tar.gz *.log +/man +*.gem diff --git a/Documentation/GNUmakefile b/Documentation/GNUmakefile index 37411e5..9144949 100644 --- a/Documentation/GNUmakefile +++ b/Documentation/GNUmakefile @@ -23,7 +23,9 @@ man: $(man1) $(man7) install-man: man mkdir -p ../man/man1 + mkdir -p ../man/man7 install -m 644 $(man1) ../man/man1 + install -m 644 $(man7) ../man/man7 %.1: %.1.txt $(pandoc) -s -t man < $< > $@+ && mv $@+ $@ @@ -6,6 +6,20 @@ if ! File.exist?(manifest) || File.stat(manifest).mtime < gitidx.mtime File.open(manifest, "a") do |fp| fp.puts "NEWS" fp.puts "lib/dtas/version.rb" + + if system("make -C Documentation") + require 'fileutils' + FileUtils.rm_rf 'man' + if system("make -C Documentation install-man") + `git ls-files -o man`.split(/\n/).each do |man| + fp.puts man + end + else + warn "failed to install manpages for distribution" + end + else + warn "failed to build manpages for distribution" + end end File.open("NEWS", "w") do |fp| `git tag -l`.split(/\n/).each do |tag| |