doc_local_sources = \
	$(top_srcdir)/doc/local/authors.doc \
	$(top_srcdir)/doc/local/codingrules.doc \
	$(top_srcdir)/doc/local/copyright.doc \
	$(top_srcdir)/doc/local/documentation.doc \
	$(top_srcdir)/doc/local/features.doc \
	$(top_srcdir)/doc/local/help_wanted.doc \
	$(top_srcdir)/doc/local/installation.doc \
	$(top_srcdir)/doc/local/linking.doc \
	$(top_srcdir)/doc/local/test.doc \
	$(top_srcdir)/doc/local/users_guide.doc \
	$(top_srcdir)/doc/local/verification.doc

html_local_sources = \
	$(top_srcdir)/doc/local/itpp_footer.html \
	$(top_srcdir)/doc/local/itpp_header.html
