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