diff options
| author | Michael Forney <mforney@mforney.org> | 2016-07-09 15:19:57 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-07-09 15:22:20 -0700 |
| commit | 8bc6f7729b2fde22d67c28a9ee104858864f568c (patch) | |
| tree | 8b19a3771cef0b465e6a6de304fcdee96e31ac4a /extra | |
| parent | 9b8807f626b681462cf3d1343350c00d25a9f8f8 (diff) | |
man-pages-posix: Only install selected man pages
Diffstat (limited to 'extra')
| -rw-r--r-- | extra/man-pages-posix/gen.rc | 2 | ||||
| -rw-r--r-- | extra/man-pages-posix/manpages.rc | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/extra/man-pages-posix/gen.rc b/extra/man-pages-posix/gen.rc index 73c09cce..0d893091 100644 --- a/extra/man-pages-posix/gen.rc +++ b/extra/man-pages-posix/gen.rc @@ -1,7 +1,7 @@ rule manpages 'rc ./$dir/manpages.rc $builddir/$repo.git $out $srcdir' ; with\ deps gcc\ depfile '$out.d' -build '$outdir'/manpages.tree manpages '|' '$dir'/manpages.rc '||' '$outdir'/fetch.stamp +build '$outdir'/manpages.tree manpages '|' '$dir'/manpages.rc config.rc '||' '$outdir'/fetch.stamp tree_inputs=($tree_inputs '$outdir'/manpages.tree) fetch curl diff --git a/extra/man-pages-posix/manpages.rc b/extra/man-pages-posix/manpages.rc index 54b3b9b5..dbdf782f 100644 --- a/extra/man-pages-posix/manpages.rc +++ b/extra/man-pages-posix/manpages.rc @@ -1,5 +1,7 @@ #!/bin/rc +. ./config.rc + flag e + ifs=' @@ -16,8 +18,17 @@ checkstatus cd $dir pages=man?p/* +pages=() +for(f in man?p/*) if(fs extra/man-pages-posix $f) + pages=($pages $f) cd $wd +if(~ $#pages 0) { + >$out + >$out.d + exit +} + hashes=`{git -C $repo hash-object -w --no-filters -- $wd/$dir/$pages} checkstatus |