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