|
|
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-17 00:10:36
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-17 00:10:37
cfg 32 seconds
cfglog.txt 12682 bytes 2003-07-17 00:11:08
config-h.txt 7382 bytes 2003-07-17 00:10:57
configcache.txt 7068 bytes 2003-07-17 00:11:08
configlog.txt 55938 bytes 2003-07-17 00:11:09
iscconfiglog.txt 25808 bytes 2003-07-17 00:11:04
oopconfiglog.txt 15807 bytes 2003-07-17 00:11:08
fds 0 seconds
fdslog.txt 1065 bytes 2003-07-17 00:11:09
id_cc 0 seconds
id_cclog.txt 86 bytes 2003-07-17 00:11:09
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-17 00:11:09
makeinfo.txt 297 bytes 2003-07-17 00:13:20
make 101 seconds
makelog.txt 93794 bytes 2003-07-17 00:12:50
sigjmp 13 seconds
sigjmplog.txt 966 bytes 2003-07-17 00:12:58
ckdoc 14 seconds
ckdoclog.txt 5619 bytes 2003-07-17 00:13:04
install 3 seconds
installlog.txt 26329 bytes 2003-07-17 00:13:20
installedfiles.txt 606 bytes 2003-07-17 00:13:20
pack 0 seconds
packlog.txt 775 bytes 2003-07-17 00:13:20
packwarn.txt 177 bytes 2003-07-17 00:13:20
environ.txt 252 bytes 2003-07-17 00:13:20
machineid.txt 335 bytes 2003-07-17 00:13:20
mainlog.txt 836 bytes 2003-07-17 00:13:20
path.txt 99 bytes 2003-07-17 00:13:20
Page updated: 2003-07-17 00:14:35.