TOPLEVEL_PATCH_LEVEL=$(PATCH_LEVEL)
# use to send patches, always empty for released version:
TOPLEVEL_MY_PATCH_LEVEL=$(MY_PATCH_LEVEL)
+
+# TODO: used for the website; John says that he'll rewrite this
+TOPLEVEL_VERSION_STABLE=$(VERSION_STABLE)
+TOPLEVEL_VERSION_DEVEL=$(VERSION_DEVEL)