|
|
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-31 09:45:23
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-31 09:45:24
cfg 36 seconds
cfglog.txt 14594 bytes 2003-07-31 09:45:59
config-h.txt 7462 bytes 2003-07-31 09:45:45
configcache.txt 7458 bytes 2003-07-31 09:45:59
configlog.txt 56870 bytes 2003-07-31 09:46:00
iscconfiglog.txt 25832 bytes 2003-07-31 09:45:51
oopconfiglog.txt 14575 bytes 2003-07-31 09:45:56
fds 0 seconds
fdslog.txt 1092 bytes 2003-07-31 09:46:00
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-31 09:46:00
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-31 09:46:00
makeinfo.txt 297 bytes 2003-07-31 09:48:28
make 118 seconds
makelog.txt 100299 bytes 2003-07-31 09:47:58
sigjmp 13 seconds
sigjmplog.txt 993 bytes 2003-07-31 09:48:06
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-07-31 09:48:12
install 2 seconds
installlog.txt 27949 bytes 2003-07-31 09:48:28
installedfiles.txt 606 bytes 2003-07-31 09:48:28
pack 0 seconds
packlog.txt 775 bytes 2003-07-31 09:48:28
adnsconfig-h.txt 3389 bytes 2003-07-31 09:45:59
adnsconfiglog.txt 13164 bytes 2003-07-31 09:45:59
environ.txt 252 bytes 2003-07-31 09:48:28
machineid.txt 335 bytes 2003-07-31 09:48:28
mainlog.txt 836 bytes 2003-07-31 09:48:28
path.txt 99 bytes 2003-07-31 09:48:28
Page updated: 2003-07-31 09:49:00.