From 07e71c6710cd861ae96e92ddb7be271dccc6b5c5 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Thu, 27 Dec 2018 22:12:17 +0000 Subject: [PATCH] defs.mk: Add RELEASES file to installed documentation Signed-off-by: Jan Lindemann --- make/defs.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/defs.mk b/make/defs.mk index 25952a2d..f2fe07fb 100644 --- a/make/defs.mk +++ b/make/defs.mk @@ -398,7 +398,7 @@ INSTALLED_HDR += $(addprefix $(INSTALL_HDRDIR)/,$(SRC_H)) # -- DOC INSTALLATION_FILE_TYPES += DOC -DOCS += $(wildcard VERSION README* CHANGES TODO* LICENSE AUTHORS CREDITS *.pdf *.txt *.html) +DOCS += $(wildcard VERSION README* CHANGES TODO* LICENSE AUTHORS CREDITS RELEASES *.pdf *.txt *.html) DOCSUBDIRS += $(wildcard html tex info examples src) BUILD_DOCDIR ?= $(TOPDIR)/doc