diff options
Diffstat (limited to 'academic/units/douninst.sh')
| -rw-r--r-- | academic/units/douninst.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/academic/units/douninst.sh b/academic/units/douninst.sh new file mode 100644 index 0000000000000..0273142e5cf56 --- /dev/null +++ b/academic/units/douninst.sh @@ -0,0 +1,9 @@ +if [ -x /usr/bin/install-info -a -d usr/info ]; then + ( + cd usr/info + rm -f dir + for i in *.info*; do + /usr/bin/install-info $i dir 1>/dev/null 2>&1 + done + ) +fi |