From 15a3c804606a773ac4f5b893bfe5d919a0ae7c4a Mon Sep 17 00:00:00 2001
From: Graham Percival <graham@percival-music.ca>
Date: Thu, 3 Jun 2010 15:13:52 +0100
Subject: [PATCH] Build: dist fix.

---
 Documentation/GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/GNUmakefile b/Documentation/GNUmakefile
index ef979addab..f26af1f58f 100644
--- a/Documentation/GNUmakefile
+++ b/Documentation/GNUmakefile
@@ -98,7 +98,7 @@ $(XREF_MAPS_DIR)/web.xref-map: XREF_MAP_FLAGS += --split=node
 ### AJAX scripts
 JS_FILES = $(call src-wildcard,*.js)
 PHP_FILES = $(call src-wildcard,*.php)
-EXTRA_DIST_FILES += $(JS_FILES)
+EXTRA_DIST_FILES += $(JS_FILES) $(PHP_FILES)
 
 OUT_JS_FILES = $(JS_FILES:%.js=$(outdir)/%.js)
 OUT_PHP_FILES = $(PHP_FILES:%.php=$(outdir)/%.php)
-- 
2.39.5