|
|
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-01 09:00:38
unpack 0 seconds
unpacklog.txt 0 bytes 2003-08-01 09:00:39
cfg 35 seconds
cfglog.txt 14539 bytes 2003-08-01 09:01:14
config-h.txt 7462 bytes 2003-08-01 09:00:59
configcache.txt 7383 bytes 2003-08-01 09:01:13
configlog.txt 56870 bytes 2003-08-01 09:01:14
iscconfiglog.txt 25316 bytes 2003-08-01 09:01:06
oopconfiglog.txt 14537 bytes 2003-08-01 09:01:10
fds 1 seconds
fdslog.txt 1092 bytes 2003-08-01 09:01:15
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-08-01 09:01:15
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-08-01 09:01:15
makeinfo.txt 297 bytes 2003-08-01 09:03:43
make 119 seconds
makelog.txt 100112 bytes 2003-08-01 09:03:14
sigjmp 12 seconds
sigjmplog.txt 993 bytes 2003-08-01 09:03:21
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-08-01 09:03:27
install 2 seconds
installlog.txt 27949 bytes 2003-08-01 09:03:43
installedfiles.txt 606 bytes 2003-08-01 09:03:43
pack 1 seconds
packlog.txt 764 bytes 2003-08-01 09:03:43
adnsconfig-h.txt 3389 bytes 2003-08-01 09:01:14
adnsconfiglog.txt 13126 bytes 2003-08-01 09:01:14
environ.txt 252 bytes 2003-08-01 09:03:43
machineid.txt 335 bytes 2003-08-01 09:03:44
mainlog.txt 836 bytes 2003-08-01 09:03:44
path.txt 99 bytes 2003-08-01 09:03:43
Page updated: 2003-08-01 09:04:14.