diff --git a/wadsrc/static/language.def b/wadsrc/static/language.def
index d9367eb08..0a975ba74 100644
--- a/wadsrc/static/language.def
+++ b/wadsrc/static/language.def
@@ -325,3 +325,19 @@ HE2TEXT = "";
 HE3TEXT = "";
 HE4TEXT = "";
 HE5TEXT = "";
+
+// mappings for duplicate texts
+
+CNTRLMNU_TITLE = "$$OPTMNU_CONTROLS";
+MOUSEMNU_TITLE = "$$OPTMNU_MOUSE";
+MNU_PLAYERSETUP = "$$OPTMNU_PLAYER";
+DSPLYMNU_TITLE = "$$OPTMNU_DISPLAY";
+AUTOMAPMNU_TITLE = "$$OPTMNU_AUTOMAP";
+OPENALMNU_TITLE = "$$SNDMNU_OPENAL";
+SNDMNU_TITLE = "$$OPTMNU_SOUND";
+MODMNU_TITLE = "$$SNDMNU_MODREPLAYER";
+MISCMNU_TITLE = "$$OPTMNU_MISCELLANEOUS";
+
+GLMNU_TEXOPT = "$$GLTEXMNU_TITLE";
+
+