apt: Handle Description-en replacing Description in apt-cache output

[hcoop/domtool2.git] / src / plugins / apt.sml

diff --git a/src/plugins/apt.sml b/src/plugins/apt.sml
index a7ae93a..da561af 100644 (file)
--- 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