|
|
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-08-17 02:07:08
unpack 9 seconds
unpacklog.txt 0 bytes 2003-08-17 02:07:08
cfg 154 seconds
cfglog.txt 13617 bytes 2003-08-17 02:09:47
config-h.txt 7484 bytes 2003-08-17 02:08:39
configcache.txt 6703 bytes 2003-08-17 02:09:43
configlog.txt 191005 bytes 2003-08-17 02:09:50
iscconfiglog.txt 139391 bytes 2003-08-17 02:09:09
oopconfiglog.txt 137840 bytes 2003-08-17 02:09:32
fds 0 seconds
fdslog.txt 820 bytes 2003-08-17 02:09:51
id_cc 0 seconds
id_cclog.txt 41031 bytes 2003-08-17 02:09:51
id_tx 1 seconds
id_txlog.txt 1257 bytes 2003-08-17 02:09:52
makeinfo.txt 19 bytes 2003-08-17 02:10:59
make 56 seconds (49 warnings)
makelog.txt 69746 bytes 2003-08-17 02:10:47
makewarn.txt 5914 bytes 2003-08-17 02:10:47
sigjmp 2 seconds
sigjmplog.txt 690 bytes 2003-08-17 02:10:50
ckdoc 1 seconds
ckdoclog.txt 657 bytes 2003-08-17 02:10:51
install 8 seconds
installlog.txt 10334 bytes 2003-08-17 02:10:59
installedfiles.txt 539 bytes 2003-08-17 02:10:59
pack 0 seconds (1 warnings)
packlog.txt 553 bytes 2003-08-17 02:10:59
packwarn.txt 48 bytes 2003-08-17 02:10:59
adnsconfig-h.txt 3393 bytes 2003-08-17 02:09:47
adnsconfiglog.txt 135332 bytes 2003-08-17 02:09:49
environ.txt 570 bytes 2003-08-17 02:10:59
machineid.txt 292 bytes 2003-08-17 02:11:00
mainlog.txt 841 bytes 2003-08-17 02:10:59
path.txt 188 bytes 2003-08-17 02:10:59
Page updated: 2003-08-17 02:11:57.