|
|
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-15 10:10:48
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-15 10:10:49
cfg 31 seconds
cfglog.txt 12605 bytes 2003-07-15 10:11:20
config-h.txt 7382 bytes 2003-07-15 10:11:09
configcache.txt 7068 bytes 2003-07-15 10:11:20
configlog.txt 55938 bytes 2003-07-15 10:11:20
iscconfiglog.txt 25808 bytes 2003-07-15 10:11:16
fds 1 seconds
fdslog.txt 1065 bytes 2003-07-15 10:11:21
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-15 10:11:21
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-15 10:11:21
makeinfo.txt 297 bytes 2003-07-15 10:13:31
make 101 seconds
makelog.txt 93535 bytes 2003-07-15 10:13:02
sigjmp 13 seconds
sigjmplog.txt 966 bytes 2003-07-15 10:13:10
ckdoc 14 seconds
ckdoclog.txt 5619 bytes 2003-07-15 10:13:16
install 2 seconds
installlog.txt 26329 bytes 2003-07-15 10:13:31
installedfiles.txt 606 bytes 2003-07-15 10:13:31
pack 0 seconds
packlog.txt 775 bytes 2003-07-15 10:13:31
packwarn.txt 177 bytes 2003-07-15 10:13:31
environ.txt 252 bytes 2003-07-15 10:13:31
machineid.txt 335 bytes 2003-07-15 10:13:32
mainlog.txt 836 bytes 2003-07-15 10:13:31
oopconfiglog.txt 15535 bytes 2003-07-15 10:11:20
path.txt 99 bytes 2003-07-15 10:13:31
Page updated: 2003-07-15 10:14:24.