|
|
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-08-17 15:15:22
unpack 0 seconds
unpacklog.txt 0 bytes 2003-08-17 15:15:23
cfg 36 seconds
cfglog.txt 14863 bytes 2003-08-17 15:15:58
config-h.txt 7462 bytes 2003-08-17 15:15:44
configcache.txt 7764 bytes 2003-08-17 15:15:58
configlog.txt 57980 bytes 2003-08-17 15:15:59
iscconfiglog.txt 25555 bytes 2003-08-17 15:15:50
oopconfiglog.txt 14776 bytes 2003-08-17 15:15:55
fds 0 seconds
fdslog.txt 1106 bytes 2003-08-17 15:15:59
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-08-17 15:15:59
id_tx 1 seconds
id_txlog.txt 921 bytes 2003-08-17 15:16:00
makeinfo.txt 297 bytes 2003-08-17 15:18:33
make 123 seconds
makelog.txt 100906 bytes 2003-08-17 15:18:03
sigjmp 12 seconds
sigjmplog.txt 1007 bytes 2003-08-17 15:18:10
ckdoc 15 seconds
ckdoclog.txt 5673 bytes 2003-08-17 15:18:16
install 3 seconds
installlog.txt 30013 bytes 2003-08-17 15:18:33
installedfiles.txt 769 bytes 2003-08-17 15:18:33
pack 0 seconds
packlog.txt 775 bytes 2003-08-17 15:18:33
adnsconfig-h.txt 3389 bytes 2003-08-17 15:15:58
adnsconfiglog.txt 13409 bytes 2003-08-17 15:15:59
environ.txt 252 bytes 2003-08-17 15:18:33
machineid.txt 335 bytes 2003-08-17 15:18:33
mainlog.txt 836 bytes 2003-08-17 15:18:33
path.txt 99 bytes 2003-08-17 15:18:33
Page updated: 2003-08-17 15:19:20.