Sign in
llvm
/
llvm-archive
/
f8b4f79771a41ee0a0f02ac90619d37ccd834915
/
.
/
clang-tests
/
gdb-1472-testsuite
/
src
/
dejagnu
/
packaging
/
deb
/
postinst
blob: 12a4ea564824bce34b13e4820a22d8d440bd0f6b [
file
] [
log
] [
blame
]
#! /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"