diff options
author | dkf <donal.k.fellows@manchester.ac.uk> | 2013-10-06 19:17:20 (GMT) |
---|---|---|
committer | dkf <donal.k.fellows@manchester.ac.uk> | 2013-10-06 19:17:20 (GMT) |
commit | b64a70d3402ce6bbee1a32e8bb48e16144f3744d (patch) | |
tree | 077f40ea243e42a7c500e86392b06459a80f4435 /tools/configure | |
parent | d10e74e4a937c4ba1e59cf2bad549282688ff48e (diff) | |
download | tcl-b64a70d3402ce6bbee1a32e8bb48e16144f3744d.zip tcl-b64a70d3402ce6bbee1a32e8bb48e16144f3744d.tar.gz tcl-b64a70d3402ce6bbee1a32e8bb48e16144f3744d.tar.bz2 |
[3381085] Improved way of detecting what version of the documentation to build.
Set the HTML_VERSION environment variable to override the (sensible) default.
Diffstat (limited to 'tools/configure')
0 files changed, 0 insertions, 0 deletions