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