-TO_TOP_FILES=$(addprefix $(outdir)/, $(README_TOP_FILES))
+TO_TOP_FILES=$(addprefix $(outdir)/, $(addsuffix .txt, $(README_TOP_FILES)))
+DOCUMENTATION_INCLUDES += -I $(top-src-dir)/Documentation/application \
+ $(top-src-dir)/Documentation/contributor