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