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