File: install-documents

package info (click to toggle)
dgit 13.19
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 4,084 kB
  • sloc: perl: 13,953; sh: 7,268; makefile: 340; python: 334; tcl: 69
file content (27 lines) | stat: -rwxr-xr-x 416 bytes parent folder | download | duplicates (9) 
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