EXTRA_DIST = README \
 zzdoc.xml \
 zzdoc_dynamiclibs.xml \
 zzdoc_intro.xml \
 zzdoc_refguide.xml \
 zzdoc_tour.xml \
 zzdoc_appendix.xml \
 zzdoc_glossary.xml \
 zzdoc_preface.xml \
 zzdoc_semanticinterface.xml