|
|
dvi
not done:
texi2dvi not found tex not found
pdf
not done:
pdftex not found
ckprg
not done:
runtest not found
unzip 1 seconds
unziplog.txt 0 bytes 2003-07-14 13:25:37
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-14 13:25:38
cfg 32 seconds
cfglog.txt 12605 bytes 2003-07-14 13:26:09
config-h.txt 7382 bytes 2003-07-14 13:25:58
configcache.txt 7068 bytes 2003-07-14 13:26:09
configlog.txt 55938 bytes 2003-07-14 13:26:10
iscconfiglog.txt 25808 bytes 2003-07-14 13:26:05
fds 0 seconds
fdslog.txt 1065 bytes 2003-07-14 13:26:10
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-14 13:26:10
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-14 13:26:10
makeinfo.txt 297 bytes 2003-07-14 13:28:20
make 101 seconds
makelog.txt 93535 bytes 2003-07-14 13:27:51
sigjmp 13 seconds
sigjmplog.txt 966 bytes 2003-07-14 13:27:59
ckdoc 14 seconds
ckdoclog.txt 5619 bytes 2003-07-14 13:28:05
install 2 seconds
installlog.txt 26329 bytes 2003-07-14 13:28:20
installedfiles.txt 606 bytes 2003-07-14 13:28:20
environ.txt 252 bytes 2003-07-14 13:28:20
machineid.txt 335 bytes 2003-07-14 13:28:21
mainlog.txt 762 bytes 2003-07-14 13:28:20
path.txt 99 bytes 2003-07-14 13:28:20
shlog.txt 858 bytes 2003-07-14 13:28:20
Page updated: 2003-07-14 13:29:29.