|
|
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-08-04 09:13:31
unpack 0 seconds
unpacklog.txt 0 bytes 2003-08-04 09:13:32
cfg 43 seconds
cfglog.txt 13604 bytes 2003-08-04 09:14:14
config-h.txt 7465 bytes 2003-08-04 09:13:57
configcache.txt 6691 bytes 2003-08-04 09:14:14
configlog.txt 43761 bytes 2003-08-04 09:14:15
iscconfiglog.txt 21915 bytes 2003-08-04 09:14:05
oopconfiglog.txt 14902 bytes 2003-08-04 09:14:10
fds 0 seconds
fdslog.txt 806 bytes 2003-08-04 09:14:15
id_cc 1 seconds
id_cclog.txt 277 bytes 2003-08-04 09:14:16
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-08-04 09:14:16
makeinfo.txt 297 bytes 2003-08-04 09:16:24
make 99 seconds (12 warnings)
makelog.txt 84769 bytes 2003-08-04 09:15:55
makewarn.txt 1413 bytes 2003-08-04 09:15:55
sigjmp 12 seconds
sigjmplog.txt 702 bytes 2003-08-04 09:16:02
ckdoc 14 seconds
ckdoclog.txt 5619 bytes 2003-08-04 09:16:09
install 2 seconds
installlog.txt 27949 bytes 2003-08-04 09:16:24
installedfiles.txt 606 bytes 2003-08-04 09:16:24
pack 0 seconds
packlog.txt 764 bytes 2003-08-04 09:16:24
adnsconfig-h.txt 3389 bytes 2003-08-04 09:14:14
adnsconfiglog.txt 13715 bytes 2003-08-04 09:14:15
environ.txt 252 bytes 2003-08-04 09:16:24
machineid.txt 346 bytes 2003-08-04 09:16:24
mainlog.txt 839 bytes 2003-08-04 09:16:24
path.txt 99 bytes 2003-08-04 09:16:24
Page updated: 2003-08-04 09:17:33.