3762701aee
Base the OPTIONS on the voices.conf, but don't generate on the fly; makes make index et al slower |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
Makefile.options | ||
pkg-descr | ||
voices.conf |
3762701aee
Base the OPTIONS on the voices.conf, but don't generate on the fly; makes make index et al slower |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
Makefile.options | ||
pkg-descr | ||
voices.conf |