K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2017-03-15T12:59:07.162162Z
K 7
svn:log
V 340
Do not patch configure script to pass correct values of JAVA and JAVAC
variables, do it via CONFIGURE_ENV.  Configure script modification time
now does not get changed, which in turn does not force the rebuild of
`kawa.info', so dependency on `print/texinfo' can be dropped (generated
file was essentially the same modulo numeric indices).

END