|
|
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-22 09:08:32
unpack 0 seconds
unpacklog.txt 0 bytes 2003-07-22 09:08:33
cfg 42 seconds
cfglog.txt 13535 bytes 2003-07-22 09:09:15
config-h.txt 7385 bytes 2003-07-22 09:08:57
configcache.txt 6644 bytes 2003-07-22 09:09:14
configlog.txt 43487 bytes 2003-07-22 09:09:15
iscconfiglog.txt 21891 bytes 2003-07-22 09:09:05
oopconfiglog.txt 14878 bytes 2003-07-22 09:09:10
fds 1 seconds
fdslog.txt 779 bytes 2003-07-22 09:09:16
id_cc 0 seconds
id_cclog.txt 277 bytes 2003-07-22 09:09:16
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-07-22 09:09:16
makeinfo.txt 297 bytes 2003-07-22 09:11:22
make 98 seconds (12 warnings)
makelog.txt 83732 bytes 2003-07-22 09:10:54
makewarn.txt 1413 bytes 2003-07-22 09:10:54
sigjmp 12 seconds
sigjmplog.txt 675 bytes 2003-07-22 09:11:01
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-07-22 09:11:07
install 1 seconds
installlog.txt 27949 bytes 2003-07-22 09:11:22
installedfiles.txt 606 bytes 2003-07-22 09:11:22
pack 0 seconds
packlog.txt 775 bytes 2003-07-22 09:11:22
packwarn.txt 177 bytes 2003-07-22 09:11:22
adnsconfig-h.txt 3389 bytes 2003-07-22 09:09:15
adnsconfiglog.txt 13606 bytes 2003-07-22 09:09:15
environ.txt 252 bytes 2003-07-22 09:11:22
machineid.txt 346 bytes 2003-07-22 09:11:22
mainlog.txt 839 bytes 2003-07-22 09:11:22
path.txt 99 bytes 2003-07-22 09:11:22
Page updated: 2003-07-22 09:11:52.