|
|
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:17:23
unpack 8 seconds
unpacklog.txt 0 bytes 2003-08-17 15:17:24
cfg 154 seconds
cfglog.txt 13617 bytes 2003-08-17 15:20:03
config-h.txt 7484 bytes 2003-08-17 15:18:54
configcache.txt 6703 bytes 2003-08-17 15:19:59
configlog.txt 191005 bytes 2003-08-17 15:20:06
iscconfiglog.txt 139391 bytes 2003-08-17 15:19:25
oopconfiglog.txt 137840 bytes 2003-08-17 15:19:48
fds 1 seconds
fdslog.txt 820 bytes 2003-08-17 15:20:07
id_cc 0 seconds
id_cclog.txt 41031 bytes 2003-08-17 15:20:07
id_tx 0 seconds
id_txlog.txt 1257 bytes 2003-08-17 15:20:07
makeinfo.txt 19 bytes 2003-08-17 15:21:15
make 56 seconds (49 warnings)
makelog.txt 69746 bytes 2003-08-17 15:21:03
makewarn.txt 5914 bytes 2003-08-17 15:21:03
sigjmp 3 seconds
sigjmplog.txt 690 bytes 2003-08-17 15:21:06
ckdoc 1 seconds
ckdoclog.txt 657 bytes 2003-08-17 15:21:07
install 8 seconds
installlog.txt 10334 bytes 2003-08-17 15:21:15
installedfiles.txt 539 bytes 2003-08-17 15:21:15
pack 0 seconds (1 warnings)
packlog.txt 553 bytes 2003-08-17 15:21:15
packwarn.txt 48 bytes 2003-08-17 15:21:15
adnsconfig-h.txt 3393 bytes 2003-08-17 15:20:02
adnsconfiglog.txt 135332 bytes 2003-08-17 15:20:05
environ.txt 570 bytes 2003-08-17 15:21:15
machineid.txt 292 bytes 2003-08-17 15:21:16
mainlog.txt 841 bytes 2003-08-17 15:21:15
path.txt 188 bytes 2003-08-17 15:21:15
Page updated: 2003-08-17 15:21:54.