2
# little script to extract the text from the tips file
3
# and output it, so xgettext can add the tips to the po file
5
# 2000 by Matthias Kiefer <matthias.kiefer@gmx.de>
6
# Command line option added by Joachim Ansorg
8
open(FILE,"<$ARGV[0]") || die "unable to open tips file";
16
# tip starts with <html>
26
# tip ends with </html>