faa6b853f8
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). |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr |