K 10
svn:author
V 5
peter
K 8
svn:date
V 27
1997-01-12T07:15:24.000000Z
K 7
svn:log
V 94
oops, missed a ${BINDIR} -> ${INFODIR}.  Also remove the slash between
${DESTDIR}/${INFODIR}.

END