|
|
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-07-28 00:55:41
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-28 00:55:42
cfg 36 seconds
cfglog.txt 14525 bytes 2003-07-28 00:56:17
config-h.txt 7382 bytes 2003-07-28 00:56:02
configcache.txt 7411 bytes 2003-07-28 00:56:17
configlog.txt 56269 bytes 2003-07-28 00:56:18
iscconfiglog.txt 25808 bytes 2003-07-28 00:56:09
oopconfiglog.txt 14551 bytes 2003-07-28 00:56:14
fds 0 seconds
fdslog.txt 1092 bytes 2003-07-28 00:56:18
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-28 00:56:18
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-28 00:56:18
makeinfo.txt 297 bytes 2003-07-28 00:58:46
make 118 seconds (1 warnings)
makelog.txt 100621 bytes 2003-07-28 00:58:16
makewarn.txt 51 bytes 2003-07-28 00:58:16
sigjmp 13 seconds
sigjmplog.txt 993 bytes 2003-07-28 00:58:24
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-07-28 00:58:30
install 2 seconds
installlog.txt 27949 bytes 2003-07-28 00:58:46
installedfiles.txt 606 bytes 2003-07-28 00:58:46
pack 0 seconds
packlog.txt 775 bytes 2003-07-28 00:58:46
packwarn.txt 177 bytes 2003-07-28 00:58:46
adnsconfig-h.txt 3389 bytes 2003-07-28 00:56:17
adnsconfiglog.txt 13055 bytes 2003-07-28 00:56:17
environ.txt 252 bytes 2003-07-28 00:58:46
machineid.txt 335 bytes 2003-07-28 00:58:46
mainlog.txt 838 bytes 2003-07-28 00:58:46
path.txt 99 bytes 2003-07-28 00:58:46
Page updated: 2003-07-28 01:00:05.