X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/5e7777d45db50241a334cb52c0aafc29b2ee6618..6f1dbd13f89e8d9c96accf9a37bdf0d41d8da7ce:/src/plugins/apt.sml

diff --git a/src/plugins/apt.sml b/src/plugins/apt.sml
index a7ae93a..da561af 100644
--- a/src/plugins/apt.sml
+++ b/src/plugins/apt.sml
@@ -44,6 +44,8 @@ fun info name =
 			loop (SOME (String.substring (line, 9, size line - 10)), descr)
 		    else if size line >= 13 andalso String.substring (line, 0, 13) = "Description: " then
 			loop (section, SOME (String.substring (line, 13, size line - 14)))
+		    else if size line >= 16 andalso String.substring (line, 0, 16) = "Description-en: " then
+			loop (section, SOME (String.substring (line, 16, size line - 17)))
 		    else
 			loop (section, descr)
 	in