doc_DATA = manual.pdf EXTRA_DIST = $(doc_DATA)