From a54b5fa28776951f5f9049f45d7a279558e17439 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 14 Oct 2008 11:47:14 +0000 Subject: Fix the name of prologue.txt when making bindists --- libraries/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libraries/Makefile') diff --git a/libraries/Makefile b/libraries/Makefile index 20a7678023..ce28841320 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -366,7 +366,7 @@ endif echo $(WHERE_AM_I)/ifBuildable/ifBuildable >> $(BIN_DIST_LIST) for FILE in dph/dph-prim-interface/interface/*.h dph/dph/LICENSE; do if [ -f $$FILE ]; then echo $(WHERE_AM_I)/$$FILE >> $(BIN_DIST_LIST); fi; done ifeq "$(HADDOCK_DOCS)" "YES" - for FILE in gen_contents_index prologue index.html doc-index*.html; do echo $(WHERE_AM_I)/$$FILE >> $(BIN_DIST_LIST); done + for FILE in gen_contents_index prologue.txt index.html doc-index*.html; do echo $(WHERE_AM_I)/$$FILE >> $(BIN_DIST_LIST); done endif $(foreach SUBDIR,$(SUBDIRS),binary-dist.library.$(SUBDIR)): \ -- cgit v1.2.1