Commit 1d5425fbaa7c6eed8783fcf7bf4e8ca239970e4e

Bruno Haible 2008-09-26T20:13:32

Make this script work again (broken since 2008-01-19).