blob: 138c88e981e8efe30b0bdfbf7d4fb087e0043c88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/bash
set -e
srcdir=$1; shift
destdir=$1; shift
mkdir -p "$srcdir"
docs=( $( ( cd "$srcdir" && find man -type f ) | sed 's#\.pod$##' ) )
echo ${docs[*]}
x () {
echo "+ $*";
"$@"
}
if [ "${#docs}" = 0 ]; then exit 0; fi
x ${MAKE-make} -s -C "$srcdir" -f ../../Makefile ${docs[@]}
mandest=$destdir/usr/share
for f in "${docs[@]}"; do
mkdir -p "$mandest/${f%/*}"
x cp "$srcdir/$f" "$mandest/$f"
done
|
