|
|
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-07-16 01:00:32
unpack 1 seconds
unpacklog.txt 0 bytes 2003-07-16 01:00:32
cfg 31 seconds
cfglog.txt 12682 bytes 2003-07-16 01:01:04
config-h.txt 7382 bytes 2003-07-16 01:00:53
configcache.txt 7068 bytes 2003-07-16 01:01:04
configlog.txt 55938 bytes 2003-07-16 01:01:04
iscconfiglog.txt 25808 bytes 2003-07-16 01:01:00
oopconfiglog.txt 15807 bytes 2003-07-16 01:01:04
fds 1 seconds
fdslog.txt 1065 bytes 2003-07-16 01:01:05
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-16 01:01:05
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-16 01:01:05
makeinfo.txt 297 bytes 2003-07-16 01:03:15
make 101 seconds
makelog.txt 93794 bytes 2003-07-16 01:02:46
sigjmp 13 seconds
sigjmplog.txt 966 bytes 2003-07-16 01:02:54
ckdoc 14 seconds
ckdoclog.txt 5619 bytes 2003-07-16 01:03:00
install 2 seconds
installlog.txt 26329 bytes 2003-07-16 01:03:15
installedfiles.txt 606 bytes 2003-07-16 01:03:15
pack 0 seconds
packlog.txt 775 bytes 2003-07-16 01:03:15
packwarn.txt 177 bytes 2003-07-16 01:03:15
environ.txt 252 bytes 2003-07-16 01:03:15
machineid.txt 335 bytes 2003-07-16 01:03:15
mainlog.txt 836 bytes 2003-07-16 01:03:15
path.txt 99 bytes 2003-07-16 01:03:15
Page updated: 2003-07-16 01:03:37.