manual/*.gif
manual/configmac.html
manual/configXwin.html
manual/index.html
manual/intro.html
manual/troubleshooting.html
manual/zoom.html
#manual/ztitle.html (copy of index.html)
manual/*.png
