|
|
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-13 13:20:44
unpack 0 seconds
unpacklog.txt 0 bytes 2003-08-13 13:20:44
cfg 36 seconds
cfglog.txt 14579 bytes 2003-08-13 13:21:19
config-h.txt 7462 bytes 2003-08-13 13:21:05
configcache.txt 7383 bytes 2003-08-13 13:21:19
configlog.txt 56870 bytes 2003-08-13 13:21:20
iscconfiglog.txt 25316 bytes 2003-08-13 13:21:12
oopconfiglog.txt 14537 bytes 2003-08-13 13:21:16
fds 1 seconds
fdslog.txt 1103 bytes 2003-08-13 13:21:21
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-08-13 13:21:21
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-08-13 13:21:21
makeinfo.txt 297 bytes 2003-08-13 13:23:53
make 122 seconds
makelog.txt 99774 bytes 2003-08-13 13:23:23
sigjmp 12 seconds
sigjmplog.txt 1004 bytes 2003-08-13 13:23:30
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-08-13 13:23:37
install 3 seconds
installlog.txt 28788 bytes 2003-08-13 13:23:53
installedfiles.txt 633 bytes 2003-08-13 13:23:53
pack 0 seconds
packlog.txt 775 bytes 2003-08-13 13:23:53
adnsconfig-h.txt 3389 bytes 2003-08-13 13:21:19
adnsconfiglog.txt 13170 bytes 2003-08-13 13:21:20
environ.txt 252 bytes 2003-08-13 13:23:53
machineid.txt 335 bytes 2003-08-13 13:23:53
mainlog.txt 836 bytes 2003-08-13 13:23:53
path.txt 99 bytes 2003-08-13 13:23:53
Page updated: 2003-08-13 13:25:44.