|
|
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-13 19:43:37
unpack 0 seconds
unpacklog.txt 0 bytes 2003-08-13 19:43:38
cfg 43 seconds
cfglog.txt 13644 bytes 2003-08-13 19:44:21
config-h.txt 7465 bytes 2003-08-13 19:44:03
configcache.txt 6691 bytes 2003-08-13 19:44:20
configlog.txt 43781 bytes 2003-08-13 19:44:21
iscconfiglog.txt 21935 bytes 2003-08-13 19:44:11
oopconfiglog.txt 14922 bytes 2003-08-13 19:44:16
fds 1 seconds
fdslog.txt 817 bytes 2003-08-13 19:44:22
id_cc 0 seconds
id_cclog.txt 277 bytes 2003-08-13 19:44:22
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-08-13 19:44:22
makeinfo.txt 297 bytes 2003-08-13 19:46:33
make 101 seconds (12 warnings)
makelog.txt 84725 bytes 2003-08-13 19:46:03
makewarn.txt 1413 bytes 2003-08-13 19:46:03
sigjmp 13 seconds
sigjmplog.txt 713 bytes 2003-08-13 19:46:11
ckdoc 15 seconds
ckdoclog.txt 5619 bytes 2003-08-13 19:46:17
install 1 seconds
installlog.txt 29067 bytes 2003-08-13 19:46:32
installedfiles.txt 633 bytes 2003-08-13 19:46:33
pack 0 seconds
packlog.txt 775 bytes 2003-08-13 19:46:33
adnsconfig-h.txt 3389 bytes 2003-08-13 19:44:20
adnsconfiglog.txt 13779 bytes 2003-08-13 19:44:21
environ.txt 252 bytes 2003-08-13 19:46:33
machineid.txt 346 bytes 2003-08-13 19:46:33
mainlog.txt 839 bytes 2003-08-13 19:46:33
path.txt 99 bytes 2003-08-13 19:46:33
Page updated: 2003-08-13 19:47:42.