From 37bc283f9c7b75ed10e7a7b7130d41a56b0f8f17 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 21 Mar 2001 17:37:29 +0000 Subject: [PATCH] patched_dtd => patch_dtd --- helm/on-line/javascript/control.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js index 8ad40ce64..9e1fe8982 100644 --- a/helm/on-line/javascript/control.js +++ b/helm/on-line/javascript/control.js @@ -123,7 +123,7 @@ function makeURL(type,uri,cicflags,typesflags) if (format == "types") ext = ".types" else if (format == "ann") ext = ".ann"; url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] + - "&patched_dtd=" + mode_list[6]; + "&patch_dtd=" + mode_list[6]; } else { if (format == "html" && type == "cic") { keys = "C1,HC2,L¶m.processorURL=" + escape(processorURL) + -- 2.39.2