Fix: if {$var != ""} doesn't work if var is a large numerical!
[ir-tcl-moved-to-github.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 520 Makefile
-rw-r--r-- 29471 ir-tcl.sgml