EXTRA_DIST =  \
	FAQ.xml 		\
	dist-docs.xml 		\
	index.xml 		\
	licenses.xml 		\
	manual.xml manual-intro.xml manual-core.xml \
	manual-writing-tools.xml\
	quick-start-guide.xml	\
	tech-docs.xml 		\
	new-tech-docs.xml 	\
	vg-entities.xml 	\
	xml_help.txt