diff --git a/prism/Makefile b/prism/Makefile
index c92f07e0..6d897ef5 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -385,6 +385,14 @@ bin_scripts:
 # extract version number from Java code using printversion
 VERSION = $(shell SRC_DIR=$(SRC_DIR) $(SRC_DIR)/scripts/printversion.sh 2> /dev/null)
 
+# Grab svn revision number from svnversion, if possible
+REVISION = $(shell svnversion 2> /dev/null)
+
+# Add Revision.java with current svn revision
+add_rev:
+	@echo "Creating $(SRC_DIR)/prism/Revision.java (REVISION = $(REVISION))"
+	echo 'package prism;\npublic class Revision\n{\n\tpublic static String svnRevision = "$(REVISION)";\n}' > $(SRC_DIR)/prism/Revision.java
+
 dist_src: dist_check_version dist_copy clean_all dist_tidy
 
 dist_bin: JFLAGS += -source 1.6 -target 1.6