K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2005-02-06T19:24:37.000000Z
K 7
svn:log
V 125
Fix a bug which prevents "make install".

Pointed out by:	Manuel Stuehn (manuel dot stuehn at student dot uni-siegen dot de)

END