|
|
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 13:28:31
unpack 1 seconds
unpacklog.txt 0 bytes 2003-07-13 13:28:31
cfg 37 seconds
cfglog.txt 11607 bytes 2003-07-13 13:29:09
config-h.txt 7385 bytes 2003-07-13 13:28:56
configcache.txt 6301 bytes 2003-07-13 13:29:09
configlog.txt 43147 bytes 2003-07-13 13:29:09
iscconfiglog.txt 21891 bytes 2003-07-13 13:29:04
fds 1 seconds
fdslog.txt 779 bytes 2003-07-13 13:29:10
id_cc 0 seconds
id_cclog.txt 277 bytes 2003-07-13 13:29:10
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-13 13:29:10
makeinfo.txt 297 bytes 2003-07-13 13:31:02
make 83 seconds
makelog.txt 75386 bytes 2003-07-13 13:30:33
sigjmp 13 seconds
sigjmplog.txt 675 bytes 2003-07-13 13:30:41
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-07-13 13:30:47
install 1 seconds
installlog.txt 26329 bytes 2003-07-13 13:31:02
installedfiles.txt 606 bytes 2003-07-13 13:31:02
environ.txt 252 bytes 2003-07-13 13:31:02
machineid.txt 346 bytes 2003-07-13 13:31:02
mainlog.txt 762 bytes 2003-07-13 13:31:02
path.txt 99 bytes 2003-07-13 13:31:02
shlog.txt 858 bytes 2003-07-13 13:31:02
Page updated: 2003-07-13 13:31:54.