blob: e8644d70e2b68e4c4e6c8a0e263706baf300d321 (
plain)
1
2
3
4
5
6
7
8
9
|
#! /bin/sh
set -i
install-info --quiet --section "Development" "Development" \
/usr/info/dejagnu.info.gz
echo "Edit the master configuration file, /etc/dejagnu/site.exp,"
echo "if needed"
|