blob: ee09ef30269f00eadab47414f1cccce3de987eac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/bash
DEPS=(sh expect)
SOURCE=git://git.sv.gnu.org/dejagnu.git
build () {
mkdir -v build
cd build
../configure --prefix=/usr
makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi
make DESTDIR=$PKG_DEST install
install -v -dm755 $PKG_DEST/usr/share/doc/dejagnu-1.6.3
install -v -m644 doc/dejagnu.{html,txt} $PKG_DEST/usr/share/doc/dejagnu-1.6.3
}
|