|
|
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-08-15 22:18:36
unpack 1 seconds
unpacklog.txt 0 bytes 2003-08-15 22:18:36
cfg 43 seconds
cfglog.txt 13928 bytes 2003-08-15 22:19:19
config-h.txt 7465 bytes 2003-08-15 22:19:02
configcache.txt 7072 bytes 2003-08-15 22:19:19
configlog.txt 44871 bytes 2003-08-15 22:19:20
iscconfiglog.txt 22154 bytes 2003-08-15 22:19:10
oopconfiglog.txt 15141 bytes 2003-08-15 22:19:15
fds 1 seconds
fdslog.txt 817 bytes 2003-08-15 22:19:21
id_cc 0 seconds
id_cclog.txt 277 bytes 2003-08-15 22:19:21
id_tx 0 seconds
id_txlog.txt 921 bytes 2003-08-15 22:19:21
makeinfo.txt 297 bytes 2003-08-15 22:21:32
make 101 seconds (12 warnings)
makelog.txt 84725 bytes 2003-08-15 22:21:02
makewarn.txt 1413 bytes 2003-08-15 22:21:02
sigjmp 13 seconds
sigjmplog.txt 713 bytes 2003-08-15 22:21:10
ckdoc 15 seconds
ckdoclog.txt 5673 bytes 2003-08-15 22:21:16
install 2 seconds
installlog.txt 29203 bytes 2003-08-15 22:21:32
installedfiles.txt 657 bytes 2003-08-15 22:21:32
pack 0 seconds
packlog.txt 775 bytes 2003-08-15 22:21:32
adnsconfig-h.txt 3389 bytes 2003-08-15 22:19:19
adnsconfiglog.txt 13998 bytes 2003-08-15 22:19:20
environ.txt 252 bytes 2003-08-15 22:21:32
machineid.txt 346 bytes 2003-08-15 22:21:32
mainlog.txt 839 bytes 2003-08-15 22:21:32
path.txt 99 bytes 2003-08-15 22:21:32
Page updated: 2003-08-15 22:23:08.