|
|
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-13 19:40:27
unpack 0 seconds
unpacklog.txt 0 bytes 2003-08-13 19:40:28
cfg 35 seconds
cfglog.txt 14579 bytes 2003-08-13 19:41:03
config-h.txt 7462 bytes 2003-08-13 19:40:48
configcache.txt 7383 bytes 2003-08-13 19:41:02
configlog.txt 56890 bytes 2003-08-13 19:41:03
iscconfiglog.txt 25336 bytes 2003-08-13 19:40:55
oopconfiglog.txt 14557 bytes 2003-08-13 19:40:59
fds 1 seconds
fdslog.txt 1106 bytes 2003-08-13 19:41:04
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-08-13 19:41:04
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-08-13 19:41:04
makeinfo.txt 297 bytes 2003-08-13 19:43:36
make 122 seconds
makelog.txt 100050 bytes 2003-08-13 19:43:06
sigjmp 13 seconds
sigjmplog.txt 1007 bytes 2003-08-13 19:43:14
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-08-13 19:43:20
install 2 seconds
installlog.txt 29067 bytes 2003-08-13 19:43:36
installedfiles.txt 633 bytes 2003-08-13 19:43:36
pack 0 seconds
packlog.txt 775 bytes 2003-08-13 19:43:36
adnsconfig-h.txt 3389 bytes 2003-08-13 19:41:03
adnsconfiglog.txt 13190 bytes 2003-08-13 19:41:03
environ.txt 252 bytes 2003-08-13 19:43:36
machineid.txt 335 bytes 2003-08-13 19:43:37
mainlog.txt 836 bytes 2003-08-13 19:43:36
path.txt 99 bytes 2003-08-13 19:43:36
Page updated: 2003-08-13 19:44:20.