|
|
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-07 00:18:43
unpack 0 seconds
unpacklog.txt 0 bytes 2003-08-07 00:18:43
cfg 43 seconds
cfglog.txt 13644 bytes 2003-08-07 00:19:26
config-h.txt 7465 bytes 2003-08-07 00:19:08
configcache.txt 6691 bytes 2003-08-07 00:19:25
configlog.txt 43761 bytes 2003-08-07 00:19:26
iscconfiglog.txt 21915 bytes 2003-08-07 00:19:16
oopconfiglog.txt 14902 bytes 2003-08-07 00:19:21
fds 1 seconds
fdslog.txt 806 bytes 2003-08-07 00:19:27
id_cc 0 seconds
id_cclog.txt 277 bytes 2003-08-07 00:19:27
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-08-07 00:19:27
makeinfo.txt 297 bytes 2003-08-07 00:21:36
make 100 seconds (13 warnings)
makelog.txt 85442 bytes 2003-08-07 00:21:07
makewarn.txt 1476 bytes 2003-08-07 00:21:07
sigjmp 13 seconds
sigjmplog.txt 702 bytes 2003-08-07 00:21:15
ckdoc 14 seconds
ckdoclog.txt 5619 bytes 2003-08-07 00:21:21
install 2 seconds
installlog.txt 28646 bytes 2003-08-07 00:21:36
installedfiles.txt 606 bytes 2003-08-07 00:21:36
pack 0 seconds
packlog.txt 764 bytes 2003-08-07 00:21:36
adnsconfig-h.txt 3389 bytes 2003-08-07 00:19:25
adnsconfiglog.txt 13759 bytes 2003-08-07 00:19:26
environ.txt 252 bytes 2003-08-07 00:21:36
machineid.txt 346 bytes 2003-08-07 00:21:36
mainlog.txt 839 bytes 2003-08-07 00:21:36
path.txt 99 bytes 2003-08-07 00:21:36
Page updated: 2003-08-07 00:22:11.