Fixes #9382: Change the Rudder version in the sources to be substitut…

…ed in the packaging script

rudder-webapp/SOURCES/Makefile

@@ -35,6 +35,7 @@ MAVEN_PROXY := $(if $(PROXY), $(shell echo "$(PROXY)" |  perl -ne ' \
 
 RUDDER_VERSION_TO_PACKAGE = <put Rudder version or version-snapshot here>
 RUDDER_MAJOR_VERSION := $(shell echo ${RUDDER_VERSION_TO_PACKAGE} | cut -d'.' -f 1-2)
+PAGES_WITH_VERSION = "rudder/rudder-web/src/main/webapp/index.html" "rudder/rudder-web/src/main/webapp/templates-hidden/common-layout.html"
 
 localdepends: ./rudder-sources ./maven/bin/mvn ./rudder-users.xml ./rudder-doc ./rudder-doc/html/rudder-doc.pdf ./.gitignore
 
@@ -60,6 +61,11 @@ localdepends: ./rudder-sources ./maven/bin/mvn ./rudder-users.xml ./rudder-doc .
 	tar -xjf rudder-sources.tar.bz2
 	mv rudder-sources-*/ rudder-sources/
 
+	# Change rudder version displayed in the Web UI
+	for page in $(PAGES_WITH_VERSION); do \
+	  sed -i "s%@PACKAGING_RUDDER_VERSION@%$(RUDDER_VERSION_TO_PACKAGE)%" "rudder-sources/$${page}" ; \
+	done
+
 ./rudder-doc: /usr/bin/wget
 	# Get user manual from rudder-project.org and rename directory containing it to rudder-doc
 	$(WGET) -P ./rudder-doc/html -r -np -nH --cut-dirs=2 http://www.rudder-project.org/doc-${RUDDER_MAJOR_VERSION}/webhelp-localsearch/