Sign in
llvm
/
llvm-archive
/
48649d2c83b557841c9e5c978d9ab5af13cb52e5
/
.
/
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"