|
|
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-22 09:05:28
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-22 09:05:28
cfg 36 seconds
cfglog.txt 14525 bytes 2003-07-22 09:06:03
config-h.txt 7382 bytes 2003-07-22 09:05:49
configcache.txt 7411 bytes 2003-07-22 09:06:03
configlog.txt 56269 bytes 2003-07-22 09:06:04
iscconfiglog.txt 25808 bytes 2003-07-22 09:05:56
oopconfiglog.txt 14551 bytes 2003-07-22 09:06:00
fds 0 seconds
fdslog.txt 1065 bytes 2003-07-22 09:06:04
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-22 09:06:04
id_tx 1 seconds
id_txlog.txt 921 bytes 2003-07-22 09:06:05
makeinfo.txt 297 bytes 2003-07-22 09:08:31
make 117 seconds
makelog.txt 99813 bytes 2003-07-22 09:08:02
sigjmp 12 seconds
sigjmplog.txt 966 bytes 2003-07-22 09:08:09
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-07-22 09:08:15
install 2 seconds
installlog.txt 27949 bytes 2003-07-22 09:08:31
installedfiles.txt 606 bytes 2003-07-22 09:08:31
pack 0 seconds
packlog.txt 775 bytes 2003-07-22 09:08:31
packwarn.txt 177 bytes 2003-07-22 09:08:31
adnsconfig-h.txt 3389 bytes 2003-07-22 09:06:03
adnsconfiglog.txt 13055 bytes 2003-07-22 09:06:04
environ.txt 252 bytes 2003-07-22 09:08:31
machineid.txt 335 bytes 2003-07-22 09:08:31
mainlog.txt 836 bytes 2003-07-22 09:08:31
path.txt 99 bytes 2003-07-22 09:08:31
Page updated: 2003-07-22 09:09:07.