diff options
Diffstat (limited to 'games/heroes/douninst.sh')
| -rw-r--r-- | games/heroes/douninst.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/games/heroes/douninst.sh b/games/heroes/douninst.sh new file mode 100644 index 000000000000..1bef5020286e --- /dev/null +++ b/games/heroes/douninst.sh @@ -0,0 +1,6 @@ +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 2>/dev/null; done + ) +fi |