You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
366 B
16 lines
366 B
#!/usr/bin/env bash |
|
|
|
mkdir -v build |
|
|
|
cd build || return 1 |
|
|
|
../configure --prefix=/usr |
|
makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi |
|
makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi |
|
|
|
make check |
|
|
|
make install |
|
install -v -dm755 /usr/share/doc/dejagnu-1.6.3 |
|
install -v -m644 doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-1.6.3 |
|
|
|
|