mirror of https://gitee.com/Nocallback/dejagnu.git
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.
8 lines
185 B
8 lines
185 B
#! /bin/sh
|
|
|
|
set -i
|
|
|
|
#install-info --quiet --section "Development" "Development" \
|
|
#/usr/doc/dejagnu.info.gz
|
|
|
|
echo "Edit the master configuration file, /etc/dejagnu/site.exp, if needed"
|
|
|