|
|
dvi
not done:
texi2dvi not found tex not found
pdf
not done:
pdftex not found
ckprg
not done:
runtest not found
unzip 0 seconds
unziplog.txt 0 bytes 2003-07-13 12:05:37
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-13 12:05:37
cfg 32 seconds
cfglog.txt 12605 bytes 2003-07-13 12:06:08
config-h.txt 7382 bytes 2003-07-13 12:05:57
configcache.txt 7068 bytes 2003-07-13 12:06:08
configlog.txt 55938 bytes 2003-07-13 12:06:09
iscconfiglog.txt 25808 bytes 2003-07-13 12:06:04
fds 0 seconds
fdslog.txt 1065 bytes 2003-07-13 12:06:09
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-13 12:06:09
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-13 12:06:09
makeinfo.txt 297 bytes 2003-07-13 12:08:19
make 101 seconds
makelog.txt 93196 bytes 2003-07-13 12:07:50
sigjmp 13 seconds
sigjmplog.txt 966 bytes 2003-07-13 12:07:58
ckdoc 14 seconds
ckdoclog.txt 5619 bytes 2003-07-13 12:08:04
install 2 seconds
installlog.txt 26329 bytes 2003-07-13 12:08:19
installedfiles.txt 606 bytes 2003-07-13 12:08:19
environ.txt 252 bytes 2003-07-13 12:08:19
machineid.txt 335 bytes 2003-07-13 12:08:19
mainlog.txt 762 bytes 2003-07-13 12:08:19
path.txt 99 bytes 2003-07-13 12:08:19
shlog.txt 858 bytes 2003-07-13 12:08:19
Page updated: 2003-07-13 12:09:40.