% ls-R -- filename database for kpathsea; do not change this line.
./:
.:
ls-R
web2c


./web2c:
amstex.fmt
amstex.log