Removed Manual.* and *.texi, and replaced with some explicit blah-*.texi
Removed Manual.* and *.texi, and replaced with some explicit blah-*.texi


stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis